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