Signed-off-by: Damien George <damien@micropython.org>
Also add support for GPIO 47 and 48 on S3 boards.