Fix defconfig to match the kernel we are using

Change-Id: Idc2e387639424abf908db02d7b1dd43843dbef79