deb-pkg: use KCONFIG_CONFIG instead of .config file directly