Odroid C1 wrong kenel image on package upgrade?

Platform: Odroid C1
Release: Trixie
Issue:
The debian package

linux-image-current-meson_26.02.0-trunk-dietpi5.deb 2026-03-12 12:31 37M

contains an older version of the linux image kernel (6.12.28) with respect to the previous one (6.12.74):

linux-image-current-meson_26.02.0-trunk-dietpi4.deb 2026-02-22 18:02 37M

Among other things this is breaking some dkms modules which are failing to compile on this older kernel 6.12 version.

Could you please give it a look?

Regards.

I recognized that Armbian froze the kernel to an older version “to keep HDMI in a working state”: https://github.com/armbian/build/pull/9465

I am also not super happy with it, but: HDMI indeed regularly broke on this board, so I can understand that for this old board with low support state keeping things functional with a frozen kernel is pragmatic. This was not done or approved by the official Armbian Odroid C1 board maintainer, though.

It should not break DKMS, as the headers are kept omin sync. The headers package was upgraded as well, right?

That said, we could unfreeze the kernel in our fork. But would be good if someone could test HDMI then.

I am currently using this SBC as headless server, I was not even aware that the HDMI support was there at all (it never worked for me in the past since the adoption of a mainline kernel, I stopped bothering about it long time ago).
In any case yes, I upgraded the headers file as well.
The dkms module that fails to compile with the latest kernel package is: https://github.com/lwfinger/rtw88, while it compiles fine with the previous one.