Re: kernel leftovers in /boot/efi/EFI/Linux/