ibmpex: report temperatures in mC, not C