[PATCH] kernel32: Use the ARRAY_SIZE() macro