Instructions there to repair rstrui.exe, if that cannot be done. Instructions to repair install windows XP are further down the page.
Some info from microsoft about Kernel32.exe
looks like it could be a number of viruses.
Has he tried Norton Anti-Virus?
it sucks.... Anyway, find the name of the trojan, do some research on it, then delete the files before after you disable their startup!