Update 32-bit performace numbers (has not been done for ages)