build-tools-and-docs-debian job waste cycles building pointless things

The build-tools-and-docs-debian job waste CI cycles building softfloat:
https://gitlab.com/qemu-project/qemu/-/jobs/1117005759

Possible fix suggested on the list:
https://<email address hidden>/msg793872.html