diff --git a/tool/run/boot_dir/foc b/tool/run/boot_dir/foc
index 8c70cc1fde..41f6c23eaa 100644
--- a/tool/run/boot_dir/foc
+++ b/tool/run/boot_dir/foc
@@ -113,7 +113,7 @@ proc run_boot_dir_x86 {binaries} {
 		puts $fh " insmod multiboot"
 		puts $fh " multiboot /boot/bender"
 		puts $fh " module /boot/bootstrap"
-		puts $fh " module /boot/kernel [fiasco_serial_esc_arg]"
+		puts $fh " module /boot/kernel fiasco [fiasco_serial_esc_arg]"
 		puts $fh " module /boot/sigma0"
 		puts $fh " module /boot/image.elf"
 		puts $fh "}"