Re: [PATCH 06/15] gpio: sandbox: Rename GPIO dir_flags to flags