[coreboot] New patch to review for coreboot: 6a8e422 cbfs_and_run_core() is not part of the API, make it static.