[coreboot-gerrit] Change in coreboot[master]: kconfig: allow for optional source with osource