[PATCH 4/4] efi_loader: use include in ARM EFI linker script