(Xronos) SystemC, fixing issues on processes synchronisations, and other
small fixes.