ARM platforms missing AnalogInputToDigitalPin()

[WestfW]

The Arduino ARM platforms are missing the AnalogInputToDigitalPin() macro that is present on AVR platforms.

[cmaglie]

Should be fixed now (see #4811 and arduino/ArduinoCore-samd#129)