Commit 
077e1958ca4afe12d88043b123ded058c51b89f7 broke the ability of the
x86 port to boot from a cold-reset by removing the initial IDT. Re-
instate the initial IDT to allow cold-booting of x86 boards
        wbinvd
 
        /* load the temporary Global Descriptor Table */
+o32 cs lidt    idt_ptr
 o32 cs lgdt    gdt_ptr
 
        /* Now, we enter protected mode */
        .long   _start          /* offset */
        .word   0x10            /* segment */
 
+idt_ptr:
+       .word   0               /* limit */
+       .long   0               /* base */
+
 /*
  * The following Global Descriptor Table is just enough to get us into
  * 'Flat Protected Mode' - It will be discarded as soon as the final