Didn’t know that, thanks. Of course, you still need to have CRL checking enabled in the browser for it to do any good.
The setting in IE is for pull, not push.
Microsoft has already pushed the new CRL to Windows Update (http://www.microsoft.com/technet/security/advisory/2524375.mspx)
Any PC that gets important Windows Updates will get the new CRL immediately regardless of the settings in Internet Explorer.