Sad update: I had to ditch the idea with the stock cooler, as th CPU got 10 deg. Celsius hotter than with my aftermarket cooler. It may have been a bad mount, although I retreid the proper screw positions, or I had insufficient thermal compound left. I'd be thankful for some thoughts from morre experienced modders in this respect.