In the Dell PowerEdge SC1435 servers delivered July 2008,
there are several BIOS settings that need to be frobbed on setup.

in the setup screen at F2:
- CPU -> Virtualization Technology: on
- Boot Sequence: disable NIC
- Integrated Devices -> Embedded Gb NIC: turn off PXE

in the setup screen for remote management, at Ctrl-E:
- IP is (main IP) =~ s/18.181.0/10.5.128/
  e.g. 10.5.128.221 for citadel-station == 18.181.0.221

These settings are reflected in the basic screen of xvm-host-2 and the
remote-management screen of xvm-host-1.  At time of writing, the basic
settings on xvm-host-1 may differ, and the remote-management settings
on xvm-host-2 are disabled.  xvm-host-[34] remain in their shipping boxes.