Those are only requirements for newly launched devices. Post launch, devices tend to stay on the same major kernel version even when they get new OS versions.
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.
