developer reference stage virtualbox-ipmi virtualbox-other-nics Stage to assign the virtualbox UUID to the machine