qlnxe driver not in 13.0 arm64

[Daniel Morante]

I installed 13.0-RC3 ARM64 from the DVD ISO image 
(FreeBSD-13.0-BETA4-arm64-aarch64-dvd1.iso 
<http://ftp.freebsd.org/pub/FreeBSD/releases/ISO-IMAGES/13.0/FreeBSD-13.0-BETA4-arm64-aarch64-dvd1.iso>). 
There is no "if_qlnxe" kernel model present on the install media, or on 
the system after installing.

Next I try to build a custom kernel. I add "device qlnxe" to the 
configuration file as instructed in 
https://www.freebsd.org/cgi/man.cgi?query=qlnxe&manpath=FreeBSD+13.0-current. 


Running "make buildkernel KERNCONF=THUNDERX2" results in:

config: Error: device "qlnxe" is unknown

Is this module not available for ARM64 architecture?