[coreboot-gerrit] Patch merged into coreboot/master: 16ae95c Add Kconfig options for Linux as payload