grub-add-auto-hide-menu-support.patch 6.11 KB