Bring in more OpenSEMC stuff