Config.in: show kernel configuration menu only if ADK_TARGET_KERNEL_CUSTOMISING is set