[coreboot] Patch merged into coreboot/master: 884dcde Add cmos helper functions for reading/writing a dword