Kernel vulnerability in Linux discovered