On RPi4 AArch64 I can replace the linux-aarch64 kernel with linux-raspberrypi4 in order to have all the raspberry pi goodies on AArch64.
But how about RPi3 AArch64? Will the linux-raspberrypi4 kernel also work on RPi3? On my current RPi3 ARMv7 the kernel is linux-raspberrypi and I don't see that available for AArch64.