changed PS7.bsv to use datatypes from AxiClientServer.bsv