--- 10_archlinux	2014-01-05 20:07:39.000000000 +0100
+++ 09_archlinux	2014-02-28 13:05:58.758196593 +0100
@@ -106,6 +106,13 @@
 cat << EOF
 
 menuentry "Arch Linux ${_KERNEL_PKG_} kernel" ${CLASS} {
+EOF
+if [ "x${GRUB_SAVEDEFAULT}" = "xtrue" ] ; then
+    cat << EOF
+    savedefault
+EOF
+fi
+cat << EOF
     if [ x\$feature_all_video_module = xy ]; then
         insmod all_video
     fi
@@ -134,6 +141,13 @@
 cat << EOF
 
 menuentry "Arch Linux ${_KERNEL_PKG_} kernel (fallback initramfs)" ${CLASS} {
+EOF
+if [ "x${GRUB_SAVEDEFAULT}" = "xtrue" ] ; then
+    cat << EOF
+    savedefault
+EOF
+fi
+cat << EOF
     if [ x\$feature_all_video_module = xy ]; then
         insmod all_video
     fi
@@ -157,6 +171,13 @@
 cat << EOF
 
 menuentry "Arch Linux ${_KERNEL_PKG_} kernel (no initramfs)" ${CLASS} {
+EOF
+if [ "x${GRUB_SAVEDEFAULT}" = "xtrue" ] ; then
+    cat << EOF
+    savedefault
+EOF
+fi
+cat << EOF
     if [ x\$feature_all_video_module = xy ]; then
         insmod all_video
     fi