[coreboot-gerrit] Patch merged into coreboot/master: libpayload: mmu: Initialize the base 4GiB as device memory