Exploit for #VU16551 NULL pointer dereference in Linux kernel