[coreboot-gerrit] [XL] Change in coreboot[master]: x86: Change MMIO addr in readN(addr)/writeN(addr, val) to pointer