Updating code generation to Kernel 1.3 [ci skip]