[coreboot] Is my PC compatible with the Coreboot bios?