kernel for Mini2440