[PATCH] ntoskrnl.exe: Use the ARRAY_SIZE() macro