“problem of leaking uninitialized kernel memory to user space … is deeply rooted in the nature of the C programming language”