linux-pae: if pae is supported set pae kernel for next boot.

diff --git a/src/paks/linux-pae/install.sh b/src/paks/linux-pae/install.sh
index 60f8bbb42e31f3e949027e792ae79885ea12a186..915b2f0ba8a8a8bf887dba2f2edd8faefbbdb8e1 100644 (file)
--- a/src/paks/linux-pae/install.sh
+++ b/src/paks/linux-pae/install.sh
@@ -71,3 +71,9 @@ echo "  savedefault $ENTRY" >> /boot/grub/grub.conf
 # Create new module depency
 #
 depmod -a $KVER-ipfire-pae
+
+# Default pae and request a reboot if pae is supported
+if [ ! "$(grep "^flags.* pae " /proc/cpuinfo)" == "" ]; then
+       grub-set-default $ENTRY
+       touch /var/run/need_reboot
+fi