installiert, funzt gut. gefällt mir.
leider musste ich durch herumprobieren feststellen, dass ein nicht funktionstüchtiger grub-efi installiert wurde. grub-pc schafft abhilfe.