fix check_ipmi_sebsor version

it was correct in the upload, but not in Git