[coreboot-gerrit] Patch set updated for coreboot: 5134ff1 Provide helpers for read/modify/write access to registers