Fix TARGET_KERNEL_SOURCE

Change-Id: I0100ec1a5c37309c741a378444e79a823c14d529