8442 uts: startup_bios_disk() should check for BIOS