Seems like ShevT has done that already:
https://forum.xda-developers.com/showpost.php?p=61412583&postcount=3
Changelog says KRACK is fixed:
https://forum.xda-developers.com/showpost.php?p=61428779&postcount=2
it looks like it is for android 5
i am looking a solution for 4.4.4