Pee bootloader runs on the gpu, so that doesnt matter much. Current bootloader can bootstrap ARM in 64bit mode, as is evidenced by freebsd port and https://www.raspberrypi.org/forums/viewtopic.php?f=72&t=1379... (all but the gpu works)
Re:64-bit ARM desktop hardware?
by markokrajnc on Monday July 25, 2016 @03:25PM
(#12160932)
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...
> 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.