That goes a long way to call out the Pi foundation for not helping move AAarch64 support into Linux. I get that people are annoyed that its better for the RPi folks to just just ARM7 for all versions because its easier for unsophisticated users, but that is their choice right?

I was hoping the Dragonboard 4.10c would have better aarch64 support but so far the only 64 bit support is Android?

Of course even the "millions" of Raspberry Pis is just a pimple on the "hundreds of millions" of phone handsets that ship so there isn't a lot of incentive on chip maker's parts to create more accessible documentation. Sad though. And perhaps we'll get there with a MediaTek or AllWinner CPU at some point.