We need the common MCCI Arduino version macro, reflecting the MCCI Arduino BSP version number, in Arduino.h, around here: https://github.com/mcci-catena/ArduinoCore-samd/blob/35d285eaa126c4bebc96a29f6f65608b5dca8816/cores/arduino/Arduino.h#L20-L23