Build for Netgear R7800

You might take the general discussion on mainline ath10k vs. ath10k-ct off this thread, as it has nothing to do specifically with my build. I am just nicely providing both driver variants, but this thread is not meant to be the central R7800 debugging and/or ath10k variant comparison thread. The R7800 exploration thread might be a much better place for generic R7800 discussion.

(And the ath10k-ct topic is much wider than R7800.)