[coreboot-gerrit] New patch to review for coreboot: b22f55c cbfstool: add code to serialize the header using the new xdr functions