Corrected TARGET_KERNEL_CONFIG