Re: [PATCH] krnl386.exe16: Fix NULL pointer dereferencing