Yes, that page is still applicable (I'd get 14.7)The source is a PINXXXX.vhd file that
is in the source subdirectory of the 7I76E distribution zip file.
Here is the one changed file (other than files changed to add this to the sources)
that was used to build the 7I76E RCPWM firmware:
