I am working on a project with NXP S32K396-BGA-DC1 Evaluation Board, and for the project that I am working on, I need the performance scores present in the benchmarking report of the board. However, the benchmarking report is not available on the official website of NXP. Can someone from the NXP team help me with this, since this information is critical for my project.