This is why we need the kernel to be re-written in Rust ASAP -- to make these flaws a thing of the past.