kconfig: use snprintf for formatting pathnames