*Fixed kernel reboot issues
*Added libport_asm for deal with device
*Added bochs configuration files for debug propose