TX2: Add initial TX2 support See CHANGES and https://docs.sel4.systems/Hardware/ for more information