I have double checked the build with GCC 8.4.0 and the fix is in place (git master)! Thank you!! :-)
% cu -l /dev/cuaU0 -s 115200 Connected ets Jul 29 2019 12:21:46 rst:0x1 (POWERON_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT) configsip: 0, SPIWP:0xee clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00 mode:DIO, clock div:2 load:0x3fff0030,len:4540 ho 0 tail 12 room 4 load:0x40078000,len:12344 ho 0 tail 12 room 4 load:0x40080400,len:4124 entry 0x40080680 NuttShell (NSH) NuttX-12.3.0-RC0 nsh> uname -a NuttX 12.3.0-RC0 882afc885e Oct 16 2023 23:04:15 xtensa esp32-devkitc % xtensa-esp32-elf-gcc --version xtensa-esp32-elf-gcc (crosstool-NG esp-2021r2-patch5) 8.4.0 Copyright (C) 2018 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info