Update fastgpio_ioctl.h