PLIC: CxxStub: fixed server side interface record variables
PLIC: CxxStub: fixed server side interface record variables

tim-janik/rapicorn,tim-janik/rapicorn,tim-janik/rapicorn,tim-janik/rapicorn,tim-janik/rapicorn