HAL_Linux: fixed indexing of device array for SPI