It would seem strange that a political etymology had a specific impact on the computing world. But the mistype of broken as "borken", and further mis-grammaring to borked would seem consistent with the humour of computing people IME.
The use in computer circles is also just one of "generally broken" (or utterly broken, perhaps) rather than "politically discreditted". I think they might be just coincidental homonyms.
Here's a [not particularly] interesting prior use: https://archive.org/details/Florida_Flambeau_1959/page/n221?... someone borked the pronounciation in Russian of beetroot soup ("borsht", Russian "s" is with a "c" shaped letter).
> informal US
> Obstruct (someone, especially a candidate for public office) by systematically defaming or vilifying them.
> Origin
> 1980s from the name of Robert Bork (1927–2012), an American judge whose nomination to the Supreme Court (1987) was rejected following unfavourable publicity for his allegedly extreme views.