Switch over to OpenSEMC hardware repos