If i have two serial port in the controller(interfaced 16c550) how to access both using printf library