bench-boot looks fine

build-all

@@ -1,22 +1,22 @@
 #!/usr/bin/env bash
 set -eu
 archs='x86_64 arm aarch64'
-gem5=-g
+gem5=true
 while getopts A:G OPT; do
   case "$OPT" in
     A)
       archs="$OPTARG"
       ;;
     G)
-      gem5=
+      gem5=false
       ;;
   esac
 done
 shift "$(($OPTIND - 1))"
 for arch in $archs; do
-  ./build -a "$arch" -k -l "$@"
-  ./build-qemu -a "$arch"
+  ./build --arch "$arch" --kernel-modules -l "$@"
+  ./build-qemu --arch "$arch"
   if "$gem5"; then
-    ./build-gem5 -a "$arch"
+    ./build-gem5 --arch "$arch"
   fi
 done