Wenn nochmal einer fragt, warum ich Arch so abfeier: Kollege hatte ausversehen seinen EFI-Booteintrag gelöscht und ich konnte, ohne gammeliges Windows-Setup, einfach fix mit 'bootctl' den Eintrag wieder herstellen, hat exakt fünf Minuten und null Kopfschmerzen gedauert.