(Xronos) SystemC fixing casting issue on InstReturn