ci: Fix docs build
The docs build uses the Fedora32 container environment, but we didn't
update the script when we moved to Fedora 32. Do that.
@@ -7,12 +7,6 @@ set -vx
MAKE_J=$(grep -c processor /proc/cpuinfo)
export CROSS="ccache powerpc64-linux-gnu-"
-# There's a bug in dtc v1.4.7 packaged on fedora 28 that makes our device tree
-# tests fail, so for the moment, build a slightly older DTC
-git clone --depth=1 -b v1.4.4 https://git.kernel.org/pub/scm/utils/dtc/dtc.git
-(cd dtc; make -j${MAKE_J})
-export PATH=`pwd`/dtc:$PATH
-
make -j${MAKE_J} SKIBOOT_GCOV=1 coverage-report
pip install -r doc/requirements.txt
