Where do I download BIG-IP v9 HF file.

You may want to call support to quickly answer your question. I do not see what you are looking for, as well. And, may want to look into upgrading your TMOS version asap, due to the security vulnerabilities, if your environment needing the HF is production / externally accessible.