Quote Originally Posted by Fred Sheehan View Post
The only other place perhaps, is old boot entries left on your EFI partition;

https://www.linuxbabe.com/command-li...otmgr-examples
Thing is I never had raspi on ANY of my devices. That is what is so puzzling to me.