TriCore:  helper_ret() is not correctly restoring PSW