now that we register gpiodev, also include gpioctl in the default image