Kernel repository for ARM Arndale boards (required for OBS on ARM)