Android 4.3: Defconfig update