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
diff --git a/src/acpi.c b/src/acpi.c
index b7af66e..9e5a4fc 100644
--- a/src/acpi.c
+++ b/src/acpi.c
@@ -642,12 +642,13 @@
         u16 len = qemu_cfg_next_acpi_table_len();
         void *addr = malloc_high(len);
         if (!addr) {
-            dprintf(1, "Not enogh memory of ext acpi table of size %d!\n", len);
+            dprintf(1, "Not enough memory for ext acpi table of size %d!\n"
+                    , len);
             continue;
         }
         ACPI_INIT_TABLE(qemu_cfg_next_acpi_table_load(addr, len));
         if (tbl_idx == MAX_ACPI_TABLES) {
-            dprintf(1, "To many external table!\n");
+            dprintf(1, "Too many external tables!\n");
             break;
         }
     }
diff --git a/src/disk.c b/src/disk.c
index 617cdf0..30b6e7b 100644
--- a/src/disk.c
+++ b/src/disk.c
@@ -190,7 +190,7 @@
 static void
 disk_1305(struct bregs *regs, struct drive_s *drive_g)
 {
-    DISK_STUB(regs);
+    debug_stub(regs);
 
     u16 nlc, nlh, nlspt;
     fillLCHS(drive_g, &nlc, &nlh, &nlspt);