fix target name for MPIO HD200 in tools/configure