I must have missed that, sorry.
Im doing a few tests and using heatsink directly to the SoC + a 24v fan running at 12V Im getting such great results that will test it running at 9v.
12V is silent enough but since with cpu stress (little cores at 1.2Ghz and big at 1.512Ghz) Im getting at most 60c, I think 9v will do just fine, heck probably 7v would work fine. (<80c)
Heatsink alone wasnt cutting if I configured the CPU to run at max speed almost all the time. With default config it would run just fine but the performance difference when you make it run full speed is considerable. (switching between waze and spotify via wheel button is pretty much instant and so on)
Even with the top cover off it would quickly reach > 80c degree and with the top cover on, it would throttle in a few minutes when using CPU stress test.
*ignore the wires soldered to the px5, it was for the DSP mod that I ended up taking it off.
Notice that the 4 little core was not even running at full speed cause I forgot to set it up, so temps would be even worse.

Now after the fan mod


Big full speed but forgot to set little cores

Everything at full speed for 4 minutes

I ran the full test a few times and it didnt go over that temp.
Will try it out with 9v later.