diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index f61c93a26..c3ebbcd35 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -199,10 +199,10 @@ append_if [expr $use_usb] config {
 			<content>
 				<inline name="usb_drv.config">}
 
-append_if [expr $use_usb && ![have_spec hw_x86_64_muen]] config {
+append_if [expr $use_usb && ![have_spec muen]] config {
 <config uhci="yes" ehci="yes" xhci="yes">}
 
-append_if [expr $use_usb && [have_spec hw_x86_64_muen]] config {
+append_if [expr $use_usb && [have_spec muen]] config {
 <config uhci="no" ehci="no" xhci="yes">}
 
 append_if [expr $use_usb] config {
diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 6ced9845e..2b7488b6a 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -30,7 +30,7 @@ proc core_link_address { } {
 proc run_boot_dir {binaries} {
 
 	# generate static ACPI report for platform driver on Muen
-	if {[have_spec "x86_64_muen"]} {
+	if {[have_spec "muen"]} {
 		set fh [open "bin/acpi" "WRONLY CREAT TRUNC"]
 		puts $fh "<acpi><bdf start=\"0\" count=\"16384\" base=\"0xf8000000\"/></acpi>"
 		close $fh