[coreboot] PyGen: generation from C code to XML and from XML to C code