64bit Kernel + 32 Bit Userland for RPi3

Hi Sam,

In your recent post, you mentioned dropping Pi 2 support when moving to complete 64bit with Debian 12.

Since Pi 3 was not called out there, may I know if Pi 3 will remain supported in the full 64bit world?

Thanks,