I’m very happy I’m seeing more open source kernels being released.

More options (and thus) competition is very healthy.