eren-terzioglu

### Description / Steps to reproduce the issue Hi, After [b8e30b5](https://github.com/apache/nuttx/commit/b8e30b54ec9c3092cb44394cdb6a4958dd6d3b42) commit which came in https://github.com/apache/nuttx/pull/16499 PR made esp32s3-devkit:txtable configuration failed to boot. Same commit also still effecting https://github.com/apache/nuttx/issues/16531 issue...

[BUG] Xtensa ostest stopped working when SMP enabled

2

### Description / Steps to reproduce the issue Xtensa devices when SMP support enabled started to fail after https://github.com/apache/nuttx/pull/16194. To reproduce error use this commands to build: ``` make distclean...