Actually it is only 4xHTT (800MHz). The first two revisions (A01, A02) of the nF4 are only capable of a 4xHTT bus. This is why Gigabyte describe the K8NF-9 as having a 'nForce4 4x chipset'.
http://uk.giga-byte.com/MotherBoard/Products/Products_Spec_GA-K8NF-9.htm
revision A03 has 5xHTT (1GHz) support, and is a requirement for all S939 Ultra/SLI boards but not for the S939/S754 nf4 'plain' boards. This is also why the majority of boards available at the moment are non ultra/SLI boards as they are using the earlier revisions of the nf4. Manufacturers are still trying to get upto speed on manufacturing the newer boards.
The FoxConn NF4K8MA-KS is another 4xHTT only S939 board that has been available for a while.