big pile of unrelated changes

tools/build-image/Dockerfile

+# syntax=docker/dockerfile:1
+FROM debian:stable
+ENV PATH=/root/.cargo/bin:/usr/bin:/bin
+RUN \
+    apt-get update && \
+    apt-get install -y --no-install-recommends \
+        build-essential \
+        ca-certificates \
+        curl \
+        fdisk \
+        dosfstools \
+        mtools \
+        qemu-system-x86 \
+        ovmf \
+        git \
+        texlive \
+        texlive-luatex \
+        texlive-latex-extra \
+        texlive-bibtex-extra \
+        texlive-lang-german \
+        latexmk \
+        biber \
+        qpdf && \
+    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y \
+        --no-modify-path \
+        --default-toolchain nightly \
+        --component rust-src miri \
+        --target x86_64-unknown-none x86_64-unknown-uefi && \
+    cargo miri setup && \
+    cargo install mdbook