platsupport: Add initial TX2 support

The TX2 uses mostly the same default serial and timer devices. The
differences are:
- Extra interrupt routing for timers
- Different MMIO and interrupt mappings compared to TX1 and TK1