I don't fully agree with some of these decisions, but in the defense of Guix I must say as a user replacing linux-libre by the linux kernel is trivial if you are using guix tooling.