Kernel choice problem with rpi5

[Falconcrest]

With 2 RPi5, where I set up dietpi with a workaround described here in the forum (OS installation on an RPi4 …), I once displayed the kernel used with uname -a.

root@adsb-feeder-falconwings:~# uname -a
Linux adsb-feeder-falconwings 6.6.31+rpt-rpi-2712 #1 SMP PREEMPT Debian 1:6.6.31-1+rpt1 (2024-05-29) aarch64 GNU/Linux

I would like to switch to the current RPi5 kernel.
(Linux adsb-falconcrest-stage2 6.6.31+rpt-rpi-v8 #1 SMP PREEMPT Debian 1:6.6.31-1+rpt1 (2024-05-29) aarch64 GNU/Linux)

This should actually be possible with dietpi-config/Advanced options/RPi kernel choice. Unfortunately, it does not matter whether I select yes or no, the kernel does not change.
Could this be due to the “beta” installation of DietPi on the RPi5?
The kernel swap works fine on another RPi5 that I recently installed.

Thanks

[Joulinar]

@Falconcrest

I would like to switch to the current RPi5 kernel.

probably a misunderstanding.

6.6.31+rpt-rpi-2712 is the dedicated RPi5 kernel and can be used on RPi5 only
6.6.31+rpt-rpi-v8 can be used on PRi2-5

Both versions are 6.6.31

see https://www.raspberrypi.com/documentation/computers/config_txt.html#kernel

The Raspberry Pi 5 firmware defaults to loading kernel_2712.img because this image contains optimisations specific to Raspberry Pi 5 (e.g. 16K page-size). If this file is not present, then the common 64-bit kernel (kernel8.img ) will be loaded instead.

[Falconcrest]

Ups, Sorry…

I must have misunderstood something.
Thank you very much for the explanation.