Misc updates.

Update todo list.
Fix spelling errors in acpi debug messages.
Don't call DISK_STUB() in format - use debug_stub() instead.
diff --git a/TODO b/TODO
index a1c1e4a..f273cf6 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1,5 @@
+If POST is rerun, try to do a machine reboot.
+
 Add int 0x1589 support.
 
 Review changes committed to coreboot, virtualbox, qemu, kvm, and bochs