I'm not disagreeing about the work that RPi is doing. I was addressing this part: "getting a solid, reliable kernel with open source drivers is far from easy."

I'm not disagreeing about the work that RPi is doing. I was addressing this part: "getting a solid, reliable kernel with open source drivers is far from easy." If the chip vendor doesn't provide the drivers then the integrator can't either.