Let's try the cm-10.1 version of the kernel

Change-Id: I501778b1e1f1f7f961f50b418e401bf29b67723b