Upstream OpenSEMC