Linux kernel for Atmel AT91SAM SoC