https://github.com/feranick/gasket-driver is the best option for now. But you also need the same gcc version installed as what was used to compile the kernel.