[coreboot-gerrit] Patch set updated for coreboot: 47c1ec8 x86: add common definitions for control registers