To manually repair your Windows registry, first you need to create a backup by exporting a portion of the registry related to S32KRNLL.DLL (eg. Norton SystemWorks 2003 Professional Edition): Click the Start button.