Wie geschrieben, hatte ich das noch nicht. Mit Ausnahme des Firmenlaptops, wo das mit Absicht blockiert ist.
Allerdings hatte ich bei einem neuen PC auch mal Probleme, Linux zu starten. Grub wurde nicht gestartet. Etwas Fummelei im BIOS und eine andere Linux Distribution (die gibt es für UEFI) löste es