fixed kernel compilation