That's a good question, I'll try a 3.8 generic kernel to see. AFAIK that's the only other generic armhf kernel that we have around.
That's a good question, I'll try a 3.8 generic kernel to see. AFAIK that's the only other generic armhf kernel that we have around.