diff --git a/src/system/boot/platform/efi/arch/arm/relocation_func.cpp b/src/system/boot/platform/efi/arch/arm/relocation_func.cpp
index c0e4ee7b12..207b7fcd32 100644
--- a/src/system/boot/platform/efi/arch/arm/relocation_func.cpp
+++ b/src/system/boot/platform/efi/arch/arm/relocation_func.cpp
@@ -35,13 +35,13 @@
 */
 
 #include <efi/types.h>
-#include <efilib.h>
+#include <efi/system-table.h>
 
 #include <elf.h>
 
 efi_status _relocate(long ldbase, Elf32_Dyn *dyn,
-		      efi_handle image EFI_UNUSED,
-		      efi_system_table *systab EFI_UNUSED)
+		      efi_handle image __attribute__((__unused__)),
+		      efi_system_table *systab __attribute__((__unused__)))
 {
 	long relsz = 0, relent = 0;
 	Elf32_Rel *rel = 0;