armv8: fixing menu.lst files and adding bootdriver to the platforms

[barrelfish] / hake / menu.lst.armv8_cn88xx

diff --git a/hake/menu.lst.armv8_cn88xx b/hake/menu.lst.armv8_cn88xx
index 3bc0062..276532c 100644 (file)
--- a/hake/menu.lst.armv8_cn88xx
+++ b/hake/menu.lst.armv8_cn88xx
@@ -3,7 +3,7 @@
 # boot-time and the arguments they should receive.
 #
 
-bootdrive /armv8/sbin/boot_armv8_generic
+bootdriver /armv8/sbin/boot_armv8_generic
 cpudriver /armv8/sbin/cpu_cn88xx loglevel=3
 
 module /armv8/sbin/init