[U-Boot] [PATCH 1/1] arm: do not include efi_loader.h twice