They wouldn't be used for ATC though. Internet access from aircraft is, outside of questions whether it interferes with aircraft operations, outside of FAA purview (at most, it's FCC and ITU-T depending scope)