fix TARGET_KERNEL_SOURCE