soc2c: fix a bug in the reset functions (that were not used before --2c-global-ctx)

The bug was (in soc2c.ml::137) that, for array of instances of size
n, it was generating n+1 initialisations, causing a seg fault.