[coreboot-gerrit] Patch set updated for coreboot: x86: Make reading / writing of CRx registers 64bit proof