reimported savedefault by cjwatson and myself

Also-By: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>

util/grub-mkconfig_lib.in

@@ -130,6 +130,14 @@ convert_system_path_to_grub_path ()
   echo ${drive}${relative_path}
 }
 
+save_default_entry ()
+{
+  if [ "x${GRUB_DEFAULT}" = "xsaved" ] ; then
+    echo 'saved_entry=${chosen}'
+    echo 'save_env saved_entry'
+  fi
+}
+
 prepare_grub_to_access_device ()
 {
   device=$1