fix: route PinName digitalWrite int values correctly

Add the PinName overload matching ArduinoCore-API's int compatibility wrapper so calls such as digitalWrite(PC_2, false) keep the PinName argument path instead of converting PC_2 to an Arduino pin index.

Fixes #1107

Generated-by: OpenAI Codex
Signed-off-by: aineoae86-sys <ai.neo.ae86@gmail.com>

Author: aineoae86-sys

cores/arduino/overloads.h

@@ -22,6 +22,9 @@
 
 void pinMode(PinName pinNumber, PinMode pinMode);
 void digitalWrite(PinName pinNumber, PinStatus status);
+inline void digitalWrite(PinName pinNumber, int status) {
+	digitalWrite(pinNumber, (PinStatus)status);
+};
 PinStatus digitalRead(PinName pinNumber);
 int analogRead(PinName pinNumber);
 void analogWrite(PinName pinNumber, int value);