Doxygen eliminate warnings pt. 2

This PR eliminates all remaining doxygen warnings that are no "not documented" ones.
In any case it should be "x87 instructions" if I understand the comment correctly.