[coreboot] Patch merged into master: 4e4140f Remove debugging code, or convert it to be selected by kconfig