Kernel repository for ARM Arndale boards (required for OBS on ARM) - View it on GitHub