diff --git a/Hardware/IA32.md b/Hardware/IA32.md
index 071715628a..21e0056b7c 100644
--- a/Hardware/IA32.md
+++ b/Hardware/IA32.md
@@ -29,7 +29,7 @@ menuentry "Load seL4 VM" --class os {
     insmod part_msdos
     insmod ext2
     set root='(hd0,msdos2)'
-    multiboot /boot/seL4
+    multiboot /boot/sel4kernel
     module /boot/sel4rootserver
 }
 ```
@@ -59,13 +59,13 @@ install-mbr /dev/sdb
 syslinux --install /dev/sdb1
 mount /dev/sdb1 /mnt
 cp images/sel4test-driver-image-ia32-pc99 /mnt/rootserver
-cp images/kernel-ia32-pc99 /mnt/seL4
+cp images/kernel-ia32-pc99 /mnt/sel4kernel
 cat > /mnt/syslinux.cfg <<EOF
 SERIAL 0 115200
 DEFAULT seL4test
 LABEL seL4test
     kernel mboot.c32
-    append seL4 --- rootserver
+    append sel4kernel --- rootserver
 EOF
 cp /usr/lib/syslinux/modules/bios/mboot.c32 /mnt
 cp /usr/lib/syslinux/modules/bios/libcom32.c32 /mnt