armv4-mont.pl: addenum to previous commit#19749.