[coreboot-gerrit] Patch set updated for coreboot: b7544c3 cbfs: move cbfs.c to cbfs_gpl.c