thermal: power_allocator: req_range multiplication should be a 64 bit type