Pass IPMI_PORT in so that it works in qemu

This allows a different port to be used for running IPMI commands.

Change-Id: I1f39f7e76e044005ecf7c880f04fe24091b5ca25
Signed-off-by: Matt Fischer <[email protected]>

Author: matthewfischer

tools/generate_argumentfile.sh

@@ -17,6 +17,7 @@ echo "--variable SYSLOG_PORT:$SYSLOG_PORT" >> $ARG_FILE
 echo "--variable SSH_PORT:$SSH_PORT" >> $ARG_FILE
 echo "--variable HTTPS_PORT:$HTTPS_PORT" >> $ARG_FILE
 echo "--variable PNOR_IMAGE_PATH:$PNOR_IMAGE_PATH" >> $ARG_FILE
+echo "--variable IPMI_PORT:$IPMI_PORT" >> $ARG_FILE
 echo "--variable IPMI_COMMAND:$IPMI_COMMAND" >> $ARG_FILE
 echo "--variable IPMI_CIPHER_LEVEL:$IPMI_CIPHER_LEVEL" >> $ARG_FILE
 echo "--variable ITERATION:$ITERATION" >> $ARG_FILE