fix: HF_INVALID_INTID 32b value casts to u16

HF_INVALID_INTID defines a 32b constant that is truncated by casting to
ffa_vm_id_t.
Restore the original value by using the UINT32_C macro.

Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
Change-Id: Icb42a857a555ec840d08524765bdc3a374474095
1 file changed