diff --git a/repos/libports/run/libc_integration.run b/repos/libports/run/libc_integration.run
index c5132194d5..19cf3dccea 100644
--- a/repos/libports/run/libc_integration.run
+++ b/repos/libports/run/libc_integration.run
@@ -26,8 +26,9 @@ if { [get_cmd_switch --autopilot] } {
 	set run_script_timeout 1200
 
 	if {[have_board pc]} {
-		set config_wo 10000
 		set run [expr [have_spec nova] || [have_spec hw]]
+
+		if {[have_spec x86_32]} { set config_wo 8000 }
 	}
 	if {[have_board imx8q_evk]} {
 		set config_wo 9000