[coreboot-gerrit] Patch merged into coreboot/master: a38d1b2 ARMv7: Always has DYNAMIC_CBMEM