interface: allow an interface's index to be given in 'sh int'