e3284c3
Fixes for ARMv7 images Now we're building ARMv7 UEFI images we need appropriate U-Boot binaries. Signed-off-by: Peter Robinson <pbrobinson@fedoraproject.org>