Remove debugging support from gen-12pentb.c.