[S390] pfault: fix token handling