diff --git a/repos/dde_linux/run/usb_hid.run b/repos/dde_linux/run/usb_hid.run
index 714d55d747..b7063f5128 100644
--- a/repos/dde_linux/run/usb_hid.run
+++ b/repos/dde_linux/run/usb_hid.run
@@ -63,6 +63,14 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
diff --git a/repos/dde_linux/run/wifi.run b/repos/dde_linux/run/wifi.run
index c857583af8..f046c24f75 100644
--- a/repos/dde_linux/run/wifi.run
+++ b/repos/dde_linux/run/wifi.run
@@ -122,6 +122,14 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
}
append_if [have_spec platform_arndale] config {
diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc
index a75f44673d..1804b43df6 100644
--- a/repos/libports/run/libc_filesystem_test.inc
+++ b/repos/libports/run/libc_filesystem_test.inc
@@ -99,6 +99,14 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
@@ -109,6 +117,11 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
}
append_if $use_ahci config {
diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run
index 44a02a5a51..7b6721544f 100644
--- a/repos/libports/run/lwip.run
+++ b/repos/libports/run/lwip.run
@@ -132,12 +132,28 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
}
append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
+
+
+
}
append config {
diff --git a/repos/os/run/demo.run b/repos/os/run/demo.run
index 1301601f2c..9c270de2da 100644
--- a/repos/os/run/demo.run
+++ b/repos/os/run/demo.run
@@ -63,6 +63,11 @@ append_if [have_spec pci] config {
+
+
+
+
+
}
append_if [have_spec framebuffer] config {
diff --git a/repos/ports-foc/run/l4linux.run b/repos/ports-foc/run/l4linux.run
index 057790990a..cdfbb02fba 100644
--- a/repos/ports-foc/run/l4linux.run
+++ b/repos/ports-foc/run/l4linux.run
@@ -69,9 +69,14 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
-
-
+
}
@@ -79,6 +84,12 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
+
}
append_if [have_spec framebuffer] config {
diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc
index a13cd3c392..515ce67168 100644
--- a/repos/ports/run/netperf.inc
+++ b/repos/ports/run/netperf.inc
@@ -232,9 +232,13 @@ append_if [have_spec acpi] config {
+
+
+
+
+
-
-
+
}
@@ -242,6 +246,10 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
}
append config {
diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run
index a3ab828983..8b75c60b9b 100644
--- a/repos/ports/run/noux_net_netcat.run
+++ b/repos/ports/run/noux_net_netcat.run
@@ -143,9 +143,16 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
-
-
+
}
@@ -153,6 +160,11 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
}
append config {
diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index bc095ec323..ac3faa683d 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -140,6 +140,12 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
@@ -156,6 +162,11 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
}
append_if [have_spec ps2] config {
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 190cf4217a..79557c2fb7 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -14,6 +14,8 @@ if {![have_spec nova]} {
exit 0
}
+assert_spec acpi
+
set build_components {
core init
drivers/timer
@@ -161,7 +163,7 @@ append_if [expr !$use_usb] config {
-
+
}
append_if $use_block_sata config {
@@ -194,19 +196,20 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
}
-append_if [expr ![have_spec acpi] && [have_spec pci]] config {
-
-
-
-
-
-}
append_if $use_nic_session config {
diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index 086f413412..9e5d8da577 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -99,6 +99,14 @@ append_if [have_spec acpi] config {
+
+
+
+
+
+
+
+
@@ -109,6 +117,13 @@ append_if [expr ![have_spec acpi] && [have_spec pci]] config {
+
+
+
+
+
+
+
}
append_if [expr $use_ps2] config {