Kernel 3.0.35 patches from the team behind the Udoo board