SD-Card driver for ESP32-S3...

[Enasynco]

Hello,
I have an ESP32-WROOM-32D on a custom PCB with an on-board a SD-card chip. The on-board SD is wired in and works in slot 1 (4 bit wide) mode as described in https://docs.micropython.org/en/latest/library/machine.SDCard.html#machine-sdcard
Now, I've replaced the -32D with a ESP32-S3 onto the same PCB, and catered for the 2 extra pins on the ESP32-S3, by isolating ground pin (old pad 15), and ensured the other SD-card pins are not conflicting.
The new SD-card mapping becomes as follows:

Pin	32D	S3
SCK	14	19
CMD	15	47
D0	2	48
D1	4	35
D2	12	20
D3	13	9

Now, does MicroPython SD-card driver support 4-bit wide on the ESP-S3? -what are the default slot pins? -how do you remap them?

My attempt was to replace

micropython/ports/esp32/machine_sdcard.c

Line 248 in c8913fd

sdmmc_slot_config_t slot_config = SDMMC_SLOT_CONFIG_DEFAULT();

with the following:

sdmmc_slot_config_t slot_config = {
    .clk = GPIO_NUM_19,
    .cmd = GPIO_NUM_47,
    .d0 = GPIO_NUM_48,
    .d1 = GPIO_NUM_35,
    .d2 = GPIO_NUM_20,
    .d3 = GPIO_NUM_9,
    .cd = SDMMC_SLOT_NO_CD,
    .wp = SDMMC_SLOT_NO_WP,
    .width   = 4,
    .flags = 0,    
}

... although that didn't work.
Then I tried 1-bit mode from within MicroPython:

spi = machine.SPI(1, baudrate=4000000, polarity=0, phase=0, sck=Pin(39), mosi=Pin(40), miso=Pin(38))
sd = machine.SDCard(slot=3, width=1,
         sck=Pin(19, pull=Pin.PULL_UP),
         miso=Pin(48, pull=Pin.PULL_UP),
         mosi=Pin(47, pull=Pin.PULL_UP),
         cs=Pin(9, pull=Pin.PULL_UP),
         cd=None,
         wp=None,
         freq=20000000,
)

... and again no joy.
Any other suggestions??