configure: docbook2x for future ctng

configure

@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -eu
+set -eux
 all=false
 apt_get=true
 baremetal=false
@@ -91,7 +91,7 @@ if "$apt_get"; then
 wget \
 "
   if "$gem5"; then
-    pkgs="$pkgs \
+    pkgs="${pkgs} \
 ccache \
 gcc-aarch64-linux-gnu \
 gcc-arm-linux-gnueabi \
@@ -100,6 +100,11 @@ if "$apt_get"; then
 python-dev \
 python-pip \
 scons \
+"
+  fi
+  if "$baremetal"; then
+    pkgs="${pkgs} \
+docbook2x \
 "
   fi
   command -v apt-get >/dev/null 2>&1 || {