ESP32S3 pins 40-48 are not usable in espruino

[TheoCGaming]

Log shown below

ERROR: pinToESP32Pin: Unknown pin: 40
ERROR: pinToESP32Pin: Unknown pin: 40
ERROR: pinToESP32Pin: Unknown pin: 41
ERROR: pinToESP32Pin: Unknown pin: 41
ERROR: pinToESP32Pin: Unknown pin: 42
ERROR: pinToESP32Pin: Unknown pin: 42
ERROR: pinToESP32Pin: Unknown pin: 43
ERROR: pinToESP32Pin: Unknown pin: 43
ERROR: pinToESP32Pin: Unknown pin: 44
ERROR: pinToESP32Pin: Unknown pin: 44
ERROR: pinToESP32Pin: Unknown pin: 45
ERROR: pinToESP32Pin: Unknown pin: 45
ERROR: pinToESP32Pin: Unknown pin: 46
ERROR: pinToESP32Pin: Unknown pin: 46
ERROR: pinToESP32Pin: Unknown pin: 47
ERROR: pinToESP32Pin: Unknown pin: 47
ERROR: pinToESP32Pin: Unknown pin: 48
ERROR: pinToESP32Pin: Unknown pin: 48
WARNING: Not removing services for reset() as connected
WARNING: Skip jsble_set_services as connected
 ____                 _
|  __|___ ___ ___ _ _|_|___ ___
|  __|_ -| . |  _| | | |   | . |
|____|___|  _|_| |___|_|_|_|___|
         |_| espruino.com
 2v27 (c) 2025 G.Williams
Espruino is Open Source. Our work is supported
only by sales of official boards and donations:
http://espruino.com/Donate

[TheoCGaming]

you know maybe i should start looking in issues for things like this, whoops