From 8df8a8690bb774bc574c47c74a5964be9858be73 Mon Sep 17 00:00:00 2001
From: Arne Fitzenreiter <arne_f@ipfire.org>
Date: Thu, 22 Nov 2012 19:24:11 +0100
Subject: [PATCH] linux-pae: if pae is supported set pae kernel for next boot.

---
 src/paks/linux-pae/install.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/paks/linux-pae/install.sh b/src/paks/linux-pae/install.sh
index 60f8bbb42e..915b2f0ba8 100644
--- 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
-- 
2.39.5