[PATCH v16 11/11] include: Add a comment explaining why all kernel callbacks must be in user32.