No matches were found for subject:"\[PATCH\] grub2.cfg\: fix GRUB compilation with GCC 12."