kernel: path and defconfig changes

Change-Id: I7003787049797a1d447313fc8edf976a5a3d9204