diff --git a/Documentation/dev/release.md b/Documentation/dev/release.md
index 629de635..cc8ca9f7 100644
--- a/Documentation/dev/release.md
+++ b/Documentation/dev/release.md
@@ -15,8 +15,14 @@ Tag, sign the release version, and push it to Github.
 
     git tag -s vX.Y.Z -m 'vX.Y.Z'
     git push origin --tags
+    git push origin master
 
-Travis CI will build the Docker image and push it to Quay.io when the tag is pushed to master.
+## Images
+
+Travis CI will build the Docker image and push it to Quay.io when the tag is pushed to master. Verify the new image and version.
+
+    sudo docker run quay.io/coreos/bootcfg:$VERSION -version
+    sudo rkt run --no-store quay.io/coreos/bootcfg:$VERSION -- -version
 
 ## Github Release
 
@@ -26,20 +32,27 @@ Publish the release on Github with release notes.
 
 Build the release tarballs.
 
+    make build
     make release
 
+Verify the reported version.
+
+    ./_output/coreos-baremetal-v0.4.2-linux-amd64/bootcfg -version
+
 ## ACI
 
 Build the rkt ACI on a Linux host with `acbuild`,
 
-    make build
     ./build-aci
-    mv bootcfg.aci _output/bootcfg-$VERSION-linux-amd64.aci
 
 Check that the listed version is correct/clean.
 
     sudo rkt --insecure-options=image run bootcfg.aci -- -version
 
+Add the ACI to `output` for signing.
+
+    mv bootcfg.aci _output/bootcfg-$VERSION-linux-amd64.aci
+
 ## Signing
 
 Sign the release tarballs and ACI with a [CoreOS App Signing Key](https://coreos.com/security/app-signing-key/) subkey.
@@ -48,13 +61,17 @@ Sign the release tarballs and ACI with a [CoreOS App Signing Key](https://coreos
     gpg2 -a --default-key FC8A365E --detach-sign bootcfg-$VERSION-linux-amd64.aci
     gpg2 -a --default-key FC8A365E --detach-sign coreos-baremetal-$VERSION-linux-amd64.tar.gz
     gpg2 -a --default-key FC8A365E --detach-sign coreos-baremetal-$VERSION-darwin-amd64.tar.gz
+    gpg2 -a --default-key FC8A365E --detach-sign coreos-baremetal-$VERSION-linux-arm.tar.gz
+    gpg2 -a --default-key FC8A365E --detach-sign coreos-baremetal-$VERSION-linux-arm64.tar.gz
 
 Verify the signatures.
 
     gpg2 --verify bootcfg-$VERSION-linux-amd64.aci.asc bootcfg-$VERSION-linux-amd64.aci
     gpg2 --verify coreos-baremetal-$VERSION-linux-amd64.tar.gz.asc coreos-baremetal-$VERSION-linux-amd64.tar.gz
     gpg2 --verify coreos-baremetal-$VERSION-darwin-amd64.tar.gz.asc coreos-baremetal-$VERSION-darwin-amd64.tar.gz
+    gpg2 --verify coreos-baremetal-$VERSION-linux-arm.tar.gz.asc coreos-baremetal-$VERSION-linux-arm.tar.gz
+    gpg2 --verify coreos-baremetal-$VERSION-linux-arm64.tar.gz.asc coreos-baremetal-$VERSION-linux-arm64.tar.gz
 
 ## Publish
 
-Publish the signed tarball(s) and ACI with the Github release. Verify the Docker image was published to Quay.io when the release tag was pushed.
+Upload the signed tarball(s) and ACI with the Github release. Promote the release from a `pre-release` to an official release.
diff --git a/build-aci b/build-aci
index 08cf30e5..fb814a85 100755
--- a/build-aci
+++ b/build-aci
@@ -19,7 +19,7 @@ acbuild --debug label add version $GIT_SHA
 acbuild --debug dep add quay.io/coreos/alpine-sh
 
 # Copy the static binary
-acbuild --debug copy bin/bootcfg /bootcfg
+acbuild --debug copy bin/linux-amd64/bootcfg /bootcfg
 
 # Add a port for HTTP traffic
 acbuild --debug port add www tcp 8080