change to make ville use seperate kernel

Change-Id: Ia02f6e8c706622cb239798b7f550def1f96bd62f