[coreboot] Patch merged into master: 4cc7400 export get_cbfs_header()