Also add support for GPIO 47 and 48 on S3 boards.
Thanks to Seon Rozenblum aka @UnexpectedMaker for the work. Signed-off-by: Damien George <damien@micropython.org>