> more tuning so that some cores could actually turn off if they aren't used

Can't you control which cores you use or what you put on them with the kernel cmdline? On x86-64 I use cpu0_hotplug nohz_full=1-3,5-7 rcu_nocbs=0-3,5-7 irqaffinity=4