[seL4] the omap3 image can't run on pandaboard