Export kernel defconfig through android-build