26df05a8c142 ("kest.pl: Fix grub2 menu handling for rebooting")