Todo list as of 20081216:

- Support formats other than RGB888
- Support password-based (or better) VNC authentication.
- Automatically switch GRUB from the loader to the actual kernel
- Fix ridiculously slow video checksumming (i.e. make X usable)
- Make ACPI work?
- "Unknown TNT2 format ff" hang occasionally happens during startx
- Figure out why traps cause lockup in SMM.