kernel/sha: loopbounds of (0,0)

[Emoun]

The kernel/sha program has two places (memcpy.c and memset.c) where the loopbounds are given as loopbound min 0 max 0.
That implies the loops are never taken, which I find weird.

I think this is likely an error, so we need to figure out what the actual loop bounds should be.