kconfig: remove stale comment about removed kconfig_print_symbol()