Switch to proper kernel defconfig

Change-Id: I63d8114582c1ab50302baad5b28e1fe2a47cde5a