Disable tui for GDB for versions >=7.2

Change-Id: Ia183372141ef3c593d31627a4d714d4d2656e11f