Added port code to i686 microkernel