Hi Linus,it seems no one else dares to ask, so I'll bite:Why is the kernel NAME no longer updated?Johannes