[coreboot] Patch merged into coreboot/master: 56cd70b Fix Kconfig GENERATE_*_TABLE usage