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 RA

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.