[coreboot] Patch merged into coreboot/master: 1576dc1 kconfig: Improve 'General setup' menu docs.