diff --git a/src/arch/x86/Makefile.inc b/src/arch/x86/Makefile.inc
index 5486bb130a..1b1308ea3b 100644
--- a/src/arch/x86/Makefile.inc
+++ b/src/arch/x86/Makefile.inc
@@ -365,7 +365,7 @@ seabios:
 			OBJCOPY="$(OBJCOPY)" STRIP="$(STRIP)" \
 			CONFIG_SEABIOS_MASTER=$(CONFIG_SEABIOS_MASTER) \
 			CONFIG_SEABIOS_STABLE=$(CONFIG_SEABIOS_STABLE) \
-			OUT=$(abspath $(obj))
+			OUT=$(abspath $(obj)) IASL="$(IASL)"
 
 filo:
 	$(MAKE) -C payloads/external/FILO -f Makefile.inc \