fix path to nmigen-soc.git