I'm using PGP 10.1.2.26 on 64 bit Windows 7 Ultra, and I'm using eToken driver version 5.0.0.37. This driver version worked on recent versions as well, but I just don't recall when I started with it.
That Knowledge Base Article looks a little dated (sorry about that!), as the current PGP User's Guide states:
Download the latest version of the eToken PKI Client (RTE) driver software (version 4.5 was the current version when this document was written), then install it on your system. When the installation of the eToken PKI client driver software on your system is complete, open PGP Desktop and click the PGP Keys control box. If the driver software was installed correctly, you see Smart Card Keys listed in the PGP Keys control box.
PGP 9.12 is the first PGP version with Windows 7 support, so 9.7 should not work for you on Win 7. My memory may not be correct, but I seem to recall that PGP 9.12 had problems with using eTokens for WDE (maybe just for Win 7 - sorry for the vague and possibly incorrect recollection here).