but gnu hasn't come up with its own kernel? have they?