lib: sem: Code guideline fixes

Fixes violations code guideline related with essential types rules:

- avoid mixing signed and unsigned integers in computations and
  comparisons

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
Signed-off-by: Abramo Bagnara <abramo.bagnara@bugseng.com>