make OpenSEMC app optional again

Change-Id: I06ae464d96a163a348430b6964c8d8f91ad4e50e