[coreboot-gerrit] Patch set updated for coreboot: 9b072ce lib/cbfs: more cleanup for 32/64 issues