[coreboot] New patch to review: 4cc7400 export get_cbfs_header()