porting mini2440 to linux-3.10