Add a comment on why inlining critical_enter() may not be a good idea
for the general case.

Reviewed by: bde
MFC after: 1 week