corrected some BIOS checking helpers