[coreboot-gerrit] New patch to review for coreboot: e72fbd1 x86: Fix pointer arithmetic regressions from MMIO changes