diff --git a/src/drivers/efi/Makefile.mk b/src/drivers/efi/Makefile.mk
index 2c3cf9c3bf..060c0130f4 100644
--- a/src/drivers/efi/Makefile.mk
+++ b/src/drivers/efi/Makefile.mk
@@ -1,11 +1,11 @@
 # SPDX-License-Identifier: GPL-2.0-only
 
-all-$(CONFIG_DRIVERS_EFI_VARIABLE_STORE)	+= efivars.c
+all_x86-$(CONFIG_DRIVERS_EFI_VARIABLE_STORE)	+= efivars.c
 smm-$(CONFIG_DRIVERS_EFI_VARIABLE_STORE)	+= efivars.c
 
 ramstage-$(CONFIG_DRIVERS_EFI_UPDATE_CAPSULES)	+= capsules.c
 
-all-$(CONFIG_USE_UEFI_VARIABLE_STORE)	+= option.c
+all_x86-$(CONFIG_USE_UEFI_VARIABLE_STORE)	+= option.c
 smm-$(CONFIG_USE_UEFI_VARIABLE_STORE)	+= option.c
 
 ramstage-$(CONFIG_DRIVERS_EFI_FW_INFO)	+= info.c