When using a 3D accelerator card which supports 32 bit Z/stencil buffers, OpenGL is only using 16 bits for Z (depth) buffering and stencils don't work at all.
glGet(GL_DEPTH_BITS) returns 16
glGet(GL_STENCIL_BITS) returns 0
Also, when trying to glEnable(GL_STENCIL_TEST), rendering becomes extremely slow.