If you would like to change the rankdle baudrate back to 1500000 or any other desired value, you will need to modify the RK3399_BAUDRATE definition in the rk3399_def.h file to reflect your preferred baudrate. After making the change, you will need to rebuild and flash the firmware for it to take effect.

Make sure you have all the necessary prerequisites installed for building the TF-M documentation. This may include tools like Mini Crossword CMake, Python, and Doxygen. Refer to the TF-M documentation for the specific requirements.