https://planetstoryline.com/nasty-linux-kernel-bug-found-and-fixed/