[coreboot-gerrit] Patch merged into coreboot/master: drivers/intel/fsp1_1: Make fsp_run_silicon_init public