stubdom: int32_t is provided by stdint.h, not sys/types.h
stubdom: int32_t is provided by stdint.h, not sys/types.h

Signed-off-by: Samuel Thibault <49a5ed162141aa1a2ad45c2f70540ac844521912@eu.citrix.com>

rowhit/xen-minios,rowhit/xen-minios,rowhit/xen-minios