i386 boot code for micro itron kernel.