port linux 0.12 to mini2440 board