Added TARGET_KERNEL_CONFIG