No matches were found for subject:"Bug#705961\: installation\-reports\: debian\-installer does not create an EFI partition by default"