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

The distro formerly known as Raspbian has received some modest tweaks – and a whole new kernel version. Raspberry Pi Ltd is a ...