Use Arduino pin numbering

[mikaelpatel]

Replace the GPIO board pin symbols with Arduino core pin numbering (i.e. positive integers).