define TARGET_KERNEL_CONFIG