[PATCH 1/1] krnl386.exe16: Don't pass NULL to printf/%s).