arm-mini2440 base kernel (based on kernel 2.6.32)