Скорее всего - BIOS написан по спецификация EFI.