Many thanks, visiting the YaST bootloader page and closing it again re-added the correct EFI entry. There was indeed a firmware upgrade recently, so maybe that caused it? In which case, whose fault would that be? The firmware vendor? fwupd itself?