NOTE: Service Pack 1 has been released, and the krnl-fix changes are included in it. The Service Pack can be found at the following location: ftp://ftp.microsoft.com/bussys/winnt/winnt-public/fixes/usa/nt40/ussp1