[coreboot-gerrit] Patch merged into coreboot/master: 2af76f4 coreboot arm64: Add support for arm64 into coreboot framework