Linux kernel v3.11.3 with patches for mini2440 from http://git-public.pengutronix.de/git-public/platform-pengutronix-mini2440.git