rpi_gpio: GPIO #25, 10ms timer