fix to kernel path for BIOS bootloader