[GVSOC] Few fixes for building gvsoc in ETH #129

Closed haugoug closed 2 years ago