diff --git a/repos/ports/run/netperf_lxip_wifi.run b/repos/ports/run/netperf_lxip_wifi.run
index 802ebc7cd4..7580b1f2bb 100644
--- a/repos/ports/run/netperf_lxip_wifi.run
+++ b/repos/ports/run/netperf_lxip_wifi.run
@@ -12,7 +12,7 @@ if {[have_include "power_on/qemu"] || [have_include "power_on/linux"]} {
 }
 
 if {[get_cmd_switch --autopilot] && [have_spec x86_32] &&
-    ![expr [have_board foc] || [have_spec nova]]} {
+    ![expr [have_spec foc] || [have_spec nova]]} {
 	puts stderr "\nNetperf WIFI running with non-ACPI kernel on native x86_32 test machine is not supported because of wrong interrupt number in pci config space (should be 11 instead 10).\n"
 	exit
 }