Does Jetson TX1 wifi supports 802.11a 5 Ghz ad-hoc setup?

The question relates to the Jetson TX1 builtin Wifi module. I see it supports 802.11ac. The question is, does the wifi module supports 802.11a 5 Ghz ad hoc set up?

I already have TK1 boards and have installed Atheros AR9462 wireless modules and set up 802.11a ad hoc network. I plan to buy TX1 and communicate with TK1 using 802.11a ad hoc set up. Is this supported by TX1?

Wifi module of TX1 is BCM4354, which supports programmable IBSS.