You, however, were claiming, that rpi3 does run in 64-bit mode, just not with linux:
> The raspberry pi 3 runs in 32 and 64 mode. There is no >>LINUX<< 64-bit kernel for it currently...
To my knowledge, rpi3 has 64-bit CPU, but all operating systems and bootloaders available run only in 32-bit mode, no exceptions. That means that rpi3 in future theoretically can run in 64-bit mode, but certainly does not today.
You are claiming that you know >>all<< operating systems and bootloaders and that >>all<< run only in 32-bit mode - with no exceptions... a big claim about your knowledge...
So you know even all non-public bootloaders and OS-es...