Note that we do not currently build EFI bootloader for earmv7hf-eb, as it requires little-endian version of toolchain.