we do not use a common kernel

Change-Id: I0e8cc7467f3f2cdf52bc009cb97bf783355e4e0a