Added a note that SEAL will support ARINC