this is the changelog of the RPi4 firmware
as you can see, it never mention anything regarding being 32bit or 64bit