André Hentschel : ntoskrnl.exe: Fix some spec file entries.