Re: Can the kernel be downgraded to 3.5?

I would say that may be possible, but will definitely be a fair amount of work. Yes, you pretty much need to port the Clanton-specific patches from the BSP to kernel 3.5 and I suspect it may be easier to port your module to work with 3.8.