COMPMID-556: Switched from int32 to int to avoid compiling issues with bare_metal

Change-Id: I87963a752896eadca1fbc5e5de5f8d83f9709f97
Reviewed-on: https://eu-gerrit-1.euhpc.arm.com/112588
Reviewed-by: Anthony Barbier <anthony.barbier@arm.com>
Tested-by: Anthony Barbier <anthony.barbier@arm.com>
1 file changed