Raspberry Pi OS gets a new kernel but apparently not a new version number

Linux 6.18 arrives with a few desktop tweaks, while the neglected x86 edition remains stuck on Debian 11