Build script and patches for cross-compiling Python to target ARM