try cm42semc kernel

Change-Id: I616ef4fad8695b441b18402e5712d9ccda6ab0c0