Updated TARGET_KERNEL_SOURCE