fix TARGET_KERNEL_CONFIG