[josephcsible]

The linked page says "kernel upgrades aren't generally required when updating the platform release", so the relevant entry is the one for Android 10, which the Pixel 4a originally shipped with.