[coreboot-gerrit] Patch merged into coreboot/master: b8fad3d arm: libpayload: Add cache coherent DMA memory definition and management