@ilpianista How do I patch?
Linux kernel have been patched already (https://github.com/torvalds/linux/commit/00a5ae218d57741088068799b810416ac249a9ce) so, wait for your distro update.
@ilpianista It's not like I must upgrade to Linux. It's rather impossible due to USB modem.
functional.cafe is an instance for people interested in functional programming and languages.