error: 'HardwareSerialIMXRT' has not been declared

[Stevenlawrencehoriba]

.pio\libdeps\teensy41_dbgx_exram\freertos-teensy\src\portable\teensy_4.cpp: In function 'void freertos::yield()':
.pio\libdeps\teensy41_dbgx_exram\freertos-teensy\src\portable\teensy_4.cpp:186:9: error: 'HardwareSerialIMXRT' has not been declared

We had a building product and fully functional, since a major upgrade to the libraries we now get this error on PlatformIO. We need the hardware Serial devices, as we were using effectively COM3. What can we do to return the older build releases of the library, or can this be fixed,

I can see in the code the following comment
#if !defined DISABLE_ARDUINO_HWSERIAL
// Current workaround until integrate with EventResponder.
if (check_flags & YIELD_CHECK_HARDWARE_SERIAL) {
HardwareSerialIMXRT::processSerialEventsList();
}
#endif // !DISABLE_ARDUINO_HWSERIAL

but i dont want to disable them. Also which library has this HardwareSerialIMXRT in it?

current build flags are
[env:teensy41_dbgx_exram]
platform = https://github.com/tsandmann/platform-teensy.git
board = teensy41
framework = arduino
lib_deps =
https://github.com/tsandmann/freertos-teensy.git
https://github.com/PaulStoffregen/SPI
https://github.com/greiman/SdFat
https://github.com/nickgammon/Regexp
ssilverman/QNEthernet@^0.25.0
build_Unflags = -std=gnu++17
build_flags = -std=gnu++20 -Wformat=1 -fno-strict-aliasing -Wno-deprecated -Wno-unused-variable -Wno-unused-parameter
-DWAIT_SERIAL -DSERIAL_TESTS -DDEBUG_IFC -DDIAG_TASKS -D QSPI_RAM -DTEENSYDMX_USE_INTERVAL_TIMER
-DTEENSY41_RTOS -DARDUINO_TEENSY41 -DUSB_SERIAL -DTEENSY_OPT_FASTER_LTO
-DLWIP_MDNS_RESPONDER=0 -DLWIP_STATS=0
-DCOM3_SUPPORT
monitor_speed = 115200
monitor_rts = 0

remove to stop auto doxygen generation

extra_scripts = post:extra_script.py
upload_flags = -v
upload_protocol = teensy-cli

can i use USB_DUAL_SERIAL instead?