scripts: ext-toolchain: fix wrong prefix in print_config generation