Re: [PATCH V2 2/9] cpu: sandbox: support is_current