Allow override of kernel defconfig

Change-Id: I3ba3131016aacbdb1f83565a6083720955440d0a