refactor Axi connections to PS7 into PS7Helper.bsv