Re: [PATCH 14/15] gpio: sandbox: Track whether a GPIO is driven