They're not talking about "Windows 7 64-bit operating system", they're talking about "64-bit Firefox" (running on Windows 7 64-bit). One of the biggest slowdowns for this hasn't been FF's ability to run in 64-bit, but plugins (e.g. Flash) not having a 64-bit version for Windows.