If given the choice between a stock Intel CPU cooler and a stock AMD CPU cooler, which one should you choose (regardless of CPU)?