Problems building kernel