Fixed kernel compilation