[coreboot] [RFC+PATCH]mark deprecated kconfig options