[coreboot-gerrit] Change in coreboot[master]: [WIP] Use mmio_resource64() and fixed_mem_resource64()