add code to set the ARM's mux bits for tty02