Currently running the 2020.3 image on my Raspberry PI 4. Would like to modify the kernel for this image. The image shows a version of 4.19.118, however couldn't find the linux-source to match this version. All repo branches (rolling, last-snapshot, dev seems to only have linux-source-5.5 and up. Where could I find the kernel source for this image.

Thanks for your help!