Fix error in building kernel.