correction in awaddr in mux.bsv