No matches were found for subject:"\[Bug 1242417\] Re\: UEFI install broken when GRUB_DISTRIBUTOR\!=Ubuntu \(e.g. Kubuntu\/UbuntuStudio\)"