porting minix on pandaboard es