Adding missing board_gpio.h file