update kernel name  in defconfig

Change-Id: Ie461794a78532dac8af247596218dcaac505806e