[coreboot-gerrit] Patch merged into coreboot/master: 7d18663 bg4cd: Change all SoC headers to <soc/headername.h> system