What is the rationale behind the GPIO_DEVICE_PATH change here? I think /dev/px4io is still required, since we need a device node name that reassures us we're talking to IO.