Fix bug related to renaming of ADK_TARGET_KERNEL_*