Parallel build with Lean 4 on my laptop loads 24 cores of AMD Ryzen AI 9 HX PRO 370. I suspect it does not clock at max 5.16 GHz due to thermal restrictions.