build-edk2: Install python3-dev

This dependency is required starting in edk2-stable202511. (Note however
that this change alone is not sufficient to build edk2-stable202511.)

Author: nicholasbishop

build-edk2/Dockerfile

@@ -8,6 +8,7 @@ RUN apt-get update && apt-get install -y \
     make \
     mono-complete \
     python3 \
+    python3-dev \
     python3-venv \
     uuid-dev \
     wget