[arch-releng] [PATCH 1/3] Rename interactive_grub_menulst to interactive_bootloader_menu