would this headsink work for 8437?