fix gpio_trebon.h