fedora_prioritized_bug requested: [Bug 1753154] grub2 blscfg menu order can become random