Power allocator's parameters are S32 type, so use %d to print them.
Acked-by: NJavi Merino <javi.merino@arm.com>
Signed-off-by: NLeo Yan <leo.yan@linaro.org>
Signed-off-by: NEduardo Valentin <edubezval@gmail.com>