Almost guarantee that they aren't doing 25GBPS on the arm chip but on the dedicated ASIC.

I know for most of the Mikrotik platforms what gets offloaded to the ASIC and what gets handled by the CPU is a big deal in performance tuning and selecting the correct product for your use case.