[coreboot-gerrit] Change in coreboot[master]: [RFC] Documentation: Remove Kconfig.tex and related files