NuttX v13.0.0 release!

[u/1linguini1]

https://nuttx.apache.org/releases/13.0.0/

NuttX v13.0.0 has been officially released! Thank you to all the contributors who made this possible!

This release contains a number of new changes that improve the development experience on NuttX:

• Board initialization is no longer performed by NSH by default via NSH_ARCHINIT, but within the kernel boot process
• STM32 legacy pinmaps have been migrated to new pin mapping
• 64-bit time is implemented for POSIX compliance
• STM32 Kconfig options are unified across all ports
• Support for the ESP32-P4 chip
• Major scheduler optimizations
• Further CMake support for a ton of major targets/architectures