Remove clause 3 and 4 from TNF licenses

Registers _REG_Ri defines are numbered backwards, so when we fill
r4-r7 with arguments, use the correct *minus* i to compute the i-th
register index.

Merge the nathanw_sa branch.