ipmi: fix the ipmi command to set the default gateway

There was a mistake in the command to set the default
gateway of the IPMI.
I also noticed that if you forget an argument in a command
IPMI tool returns 0 and promt for the valid values...
I also put a note on this in the commit.