Rename micro bench 32 bit

Rename micro_bench32 to micro_bench for backwards compatibility.

Change-Id: I130f281967cffc3e337d27e84c4caa66d39d1385
1 file changed