fix Makefile.hrpsys-base, git checkout $(GIT_REVISION) after git reset --hard