As per the article, they're very (very very) slowly migrating from Windows XP to Windows 7. I suspect Puppet and Chef are not even on their radar at this point.