some more improvements

Johannes Schauer Marin Rodrigues requested to merge josch/reform-system-image:sysimage-v3 into sysimage-v3 Mar 30, 2022