Fix Arch Linux boot profile button

debug.html

@@ -44,7 +44,7 @@
         <input type="button" value="OpenWRT" id="start_openwrt">
         <br>
         <input type="button" value="Arch Linux" id="start_archlinux">
-        <input type="button" value="Arch Linux (boot)" id="start_archlinux-9p-cool">
+        <input type="button" value="Arch Linux (boot)" id="start_archlinux-boot">
         <input type="button" value="Damn Small Linux" id="start_dsl">
         <br>