Where can be found the characteristics of the switching speed of GPIO port for the Raspberry Pi 3 under Android Things like [that](http://codeandlife.com/2012/07/03/benchmarking-raspberry-pi-gpio-speed/)?