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