Use proper ${KERNEL_CONFIG} rather than ${KERNEL_DIR}/.config as input