headers/private/kernel/boot/platform/bios_ia32/bios_drive.h headers/private/kernel/boot/platform/pxe_ia32/bios_drive.h
