User new defconfig for kernel

Change-Id: I84ba7862b5f0f9824deb952be4f36a01da6a9ff1