Use DJL defconfig for kernel building