I installed the 64Bit version of NOD32. I see the process egui.exe is really 64bit but ekrn.exe is 32Bit. Is that right?