fix pp-generation for kernel syntax section