Re: [kernel] correct OpenFile test