Linux 3.12.5 running on at91ariag25