changed to proper kernel config

Change-Id: Ic45afedc14f4bea4351a5ae3dcb9a17ae02f0eb8