[19:33] why was raspberry pi 3/4 removed from arm64 linux-image-generic in lunar and mantic? [19:46] there's linux-image-raspi in ports [19:52] that takes me to my second question, why separate kernel packages for rpi? debian only has one package for all socs/boards.