Misc minor improvements.

Update TODO list.
Improve comments in boot.c.
Use debug port 0x0402 instead of 0x0403 (bochs prefers the latter).
Fix formatting of debug messages in kbd.c.
Use proper return check for kbd and mouse init.
diff --git a/TODO b/TODO
index 5ad0428..fa3d8a3 100644
--- a/TODO
+++ b/TODO
@@ -10,6 +10,11 @@
 
 Fix keyboard LEDs.
 
+Improve option rom handling.  A real bios can copy the option roms
+from PCI space.  Also, there is no handling for BCVs today.
+
+Clean up and clarify usage/scope of .bss and .data variables.
+
 Review changes committed to coreboot, virtualbox, qemu, kvm, and bochs
 cvs tip.
   * bochs cvs (1.209)         -- all changes synched
@@ -51,6 +56,9 @@
 
 See if it is possible to handle interrupts while in 32bit mode.
 
+Add a kconfig style configuration program instead of requiring users
+to modify config.h.
+
 Look at integrating the lgpl vgabios into tree.
 
 Look at usb booting specs.  Look at possibly supporting usb