Yeah, it does have a BIOS, AND an EFI shell. The BIOS doesn't have full ACPI support for some reason however, which is why Windows won't load.