[coreboot-gerrit] Patch set updated for coreboot: f0f8232 amd/family16kb: Move and resize the MMIO region