[coreboot-gerrit] Patch set updated for coreboot: libpayload: mmu: Assuming that memory 0-4GiB is device memory