chore(devtool): run cmd_build in privileged container

This is needed for CI to install previous version of the
toolchain used on the main branch. This change will need
to be reverted after this PR is merged.

Signed-off-by: Egor Lazarchuk <[email protected]>

tools/devtool

@@ -510,13 +510,18 @@ cmd_build() {
     # We don't need any special privileges for the build phase, so we run the
     # container as the current user/group.
     run_devctr \
+        --privileged \
         --user "$(id -u):$(id -g)" \
         --workdir "$workdir" \
         ${extra_args} \
         -- \
         ./tools/release.sh --libc $libc --profile $profile
     ret=$?
 
+    # Running as root would have created some root-owned files under the build
+    # dir. Let's fix that.
+    cmd_fix_perms
+
     if [ ! -z "$revision" ]; then
       popd
       git branch -D $branch_name