TEMP: OpenSEMC: do not track the kernel

* need to merge the new 3.4 kernel