Remove unnecessary patch

1 files changed, 0 insertions, 25 deletions

diff --git a/0006-default-kernel.patch b/0006-default-kernel.patch
deleted file mode 100644
index f5d1d67799fc..000000000000
--- a/0006-default-kernel.patch
+++ /dev/null
@@ -1,25 +0,0 @@
-diff --git a/util/grub.d/10_linux.in b/util/grub.d/10_linux.in
-index de9044c7f..a9087da35 100644
---- a/util/grub.d/10_linux.in
-+++ b/util/grub.d/10_linux.in
-@@ -178,8 +178,20 @@ title_correction_code=
- submenu_indentation=""
- 
- is_top_level=true
-+default_kernel_grabbed=false
-+default_kernel_name="/boot/vmlinuz-linux"
- while [ "x$list" != "x" ] ; do
-   linux=`version_find_latest $list`
-+  if ! $default_kernel_grabbed; then
-+    for i in $list; do
-+      if [ $i == $default_kernel_name ]
-+      then
-+        linux=$default_kernel_name
-+        break
-+      fi
-+    done
-+    default_kernel_grabbed=true
-+  fi
-   gettext_printf "Found linux image: %s\n" "$linux" >&2
-   basename=`basename $linux`
-   dirname=`dirname $linux`