If MICROPY_FROZEN_MANIFEST is set from the cmake command line, then it will override the default and any manifest set by the board.
Also add support for GPIO 47 and 48 on S3 boards.