Remove tomcat patch from kernel