Moved GPIO API to the Raspberry Pi BSP