Add TARGET_KERNEL_SOURCE