esp32: Adjust GC pool size to 38K.
esp32: Adjust GC pool size to 38K.

jmarcelino/pycom-micropython,jmarcelino/pycom-micropython,jmarcelino/pycom-micropython,jmarcelino/pycom-micropython,jmarcelino/pycom-micropython