common/cmd_bootm: extend do_bootm_vxworks to support the new VxWorks boot interface.