[coreboot-gerrit] Patch merged into filo/master: Add ARM support