GNU Linux-libre kernelもプロプライエタリなRed Hat(IBM)の成果に乗っかってるだけだよね~