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