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

[barrelfish] / hake / menu.lst.armv8_apm88xxxx

diff --git a/hake/menu.lst.armv8_apm88xxxx b/hake/menu.lst.armv8_apm88xxxx
index fe73833..054f358 100644 (file)
--- a/hake/menu.lst.armv8_apm88xxxx
+++ b/hake/menu.lst.armv8_apm88xxxx
@@ -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_apm88xxxx loglevel=3
 
 module /armv8/sbin/init