[coreboot-gerrit] Patch set updated for coreboot: fedb3b0 x86: Change MMIO addr in readN(addr)/writeN(addr, val) to a pointer