[coreboot-gerrit] Patch merged into coreboot/master: 3bfd5b8 cbfstool: Add an add-int command that adds a raw 64-bit integer CBFS file