DELL PC info

We'll have:

• 70 DELL PC - Intel Core Duo - 4GB RAM
  See dmesg.out and hardware description below
  Issues with keyboard lockups can be resolved with the attachment:OPTIPLEX755​ kernel config below.
  Also note that these have COM ports so we're OK for serial consoles.
• 25 HP PC - Intel Core Duo - 2GB RAM
  HP compaq dc5800 SFF p/n: KK384EA#ABF
  1 serial port, Intel gigabit ethernet
  Needs ACPI disabled to boot. Works with PS/2 keyboard, USB causes a crash which we'll need to investigate