Doch wehe, man hat zwei Linux-Systeme installiert ... oder zusätzlich dazu kann auch der Linux-Kernel selbst in der EFI-Partition liegen und via „Efistub“ direkt vom UEFI-­BIOS gestartet ...