Config-devel.in: rename symbol KERNEL_GIT_BRANCH -> KERNEL_GIT_REF