Is my BIOS whitelisted?