Fix TARGET_KERNEL_CONFIG