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