reform-tools 1.80

Johannes Schauer Marin Rodriguesrequested to merge
josch/reform-system-image:reform-tools-1.80 into main

This reverts commit a7a1b4d4.

Merge request reports