Zależy w jakim stanie ta cewka. Jeśli rdzeń tylko pękł, nie ciągnąłeś i drut się nie rozwinął, to podklej. Jeśli drut się rozwinął, to ja bym wymieniał rdzeń i drut.
Oprócz tego wymień kondensatory przynajmniej w przetwornicy, ewentualnie stabilizator. Odpalając sprawdzaj od razu napięcia na dolnym RAM.