update defconfig for aux_kernel