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 are the settings made on xvm-host-2 aka aperture-science.
The settings on xvm-host-1 aka citadel-station may be slightly
different, and should be reconciled with these.  At time of writing,
xvm-host-[34] remain in their shipping boxes.