Run Ajhc before building kernel.