Failure to add 'Fedora Linux 37 (Workstation Edition)' to boot menu entry