[rcarmo]

There wasn’t any easy way to cool the RAM itself - in fact, I wouldn’t try to cool it using the same heatsink since the CPU would likely transfer heat to the RAM.

I suspect this is just a matter of timing tweaks in the BIOS.