Linux kernel for Infotmic iMAPx800 platform