Renamed mico32 to lm32 in testcases.