Linux kernel repository holding ATMEL related stuff (like the DRM driver)