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
- netmask is 255.255.0.0
- Set the password to the XVM root

All of these settings are reflected on all 4 servers in the production
cluster.


In the debian installer:
 - 500M for /boot in raid1 of sda1, sdb1
 - rest for LVM in raid1 of sda2, sdb2
  - 50G /
  - 25G swap
 - install a vanilla kernel, not xen;
   will install xen hypervisor from backports in our later custom install.