Correct deployment docs WRT setup-baremetal

setup-baremetal's interface changed quite some time ago, in commit
c686f0ea, so the deployment docs have been wrong since then. Correct
them to document the new world order.

Change-Id: Icf7f363b0008c24a14ae7d896e353b7e357bb3ab
Merge "Correct deployment docs WRT setup-baremetal"