Did not cliph / wojciech purczynski also try to backdoor the kernel?