Kernel Log: more details on the kernel.org hack