[coreboot] Patch set updated for coreboot: 42cb772 Make cpuid functions usable when compiled with PIC