[coreboot] Patch set updated for coreboot: a6e3815 Add cmos helper functions for reading/writing a dword