Hi, all.  First-timer here.

I am setting up a new Raspberry Pi 3.  When I review the AltArch pages, I see that most of the RPi3 coverage is categorized under Arm32, including

  https://wiki.centos.org/SpecialInterestGroup/AltArch/Arm32/RaspberryPi3

I'm under the impression that the RPi3 is actually a AArch64 system.  I'm not sure whether I should use