UPSTREAM: thermal: use %d to print S32 parameters