Comment 4 for bug 1980182

Thanks for the clarification!

I had no intention to try a newer kernel version - that package simply came as upgrade from bullseye-backports though the default package "linux-image-arm64" (without any manual activity from my side)... With the repo priority setting (or repo pinning, alternatively) that issue should be resolved for now, although I'd expect this affects any Odroid user who installed Debian 11 via Petitboot.

It is probably advisable to stick with your curated odroid kernel packages from ppa.linuxfactory.or.kr rather than using the generic Debian ones, right?