Kein Kernel 5.0! Linus Torvalds veröffentlicht es lieber als Kernel 4.17