--- ./util/grub-mkconfig.in.orig 2022-11-14 09:52:54.000000000 -0600 +++ ./util/grub-mkconfig.in 2024-06-26 12:44:00.986119802 -0500 @@ -255,7 +255,8 @@ GRUB_ENABLE_CRYPTODISK \ GRUB_BADRAM \ GRUB_OS_PROBER_SKIP_LIST \ - GRUB_DISABLE_SUBMENU + GRUB_DISABLE_SUBMENU \ + GRUB_DISABLE_KERNEL_SYMLINKS if test "x${grub_cfg}" != "x"; then rm -f "${grub_cfg}.new"