HAL_Linux: add GPIO driver for Raspberry Pi