[PATCH] ntoskrnl.exe: Make alloc_kernel_object() static.