[coreboot-gerrit] Patch merged into coreboot/master: 043eb0e Wield battle axe at ARM port