Device entrypoints for tctrl device (tadpole micro controller) add header for direct-access ioctl to the tadpole microcontroller.