grub2-fail-menu-timeout-workaround