Use uint32_t instead of int. Change-Id: I7d73a3fea61e48663aeada6792b9b6c19db1cb35 Signed-off-by: Flavio Santes <flavio.santes@intel.com>