[coreboot] ARM joins UEFI