Why is Zedboard (Zynq 7000 SoC) under AArch64 section in Hardware Notes?

[Cheng9730]

This may be a dumb question.

I was looking at the FreeBSD 15.1 Hardware Notes page. In 2. Supported Platforms > 2.2. AArch64 I saw Zedboard (Zynq 7000 SoC), with Tier-1 support. I checked some documents and here's what I got:

• The SoC of Zedboard is XC7Z020-CLG484-1.
  • See this page at avnet.com, go to Technical Specifications > SOC OPTIONS.
  • Also in this page at digilent.com, go to Features.
• The processor of XC7Z020 is Dual-core ARM Cortex-A9 MPCore.
  • See Zynq-7000 SoC Product Selection Guide (XMP097), go to page 2.
  • Also in this page at digilent.com, go to Features.
• The architecture of Cortex-A9 is Armv7-A.
  • See Cortex-A9 Product Support, go to Specifications > Architecture.

Armv7-A is 32-bit instruction set, according to ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition, A1.2 The instruction sets.

The ARM instruction set is a set of 32-bit instructions providing comprehensive data-processing and control functions.

Also in the FreeBSD/ARM Project page, Status.

32-bit ARMv7 is officially a Tier 2 architecture, as the FreeBSD Project does not provide official releases or pre-built packages for this platform due to it primarily targeting the embedded arena.

Am I missing something, or should Zedboard be moved to AArch32 (Tier-2 support)?