[coreboot-gerrit] Change in coreboot[master]: acpi,soc/intel: Make soc/motherboard_fill_fadt() global