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