For some reason, bibtex parses Faz-Hern\'andez as to be references
with FH, instead of just F (perhaps because of the 'and' suffix?).
This commit updates the definitions of Faz-Hernández' name to
"Faz-Hern\'andez".

Because we were not using \bibliographystyle{alpha}, this should
have no visual consequences.

This changed latex's page layout quite a bit, putting the results
table alone on a page. I reduced the arraystretch of that table to
reduce its size and have the article stay within the limit of 20
pages.

During writing, I made the mistake and assumed that our STM32F407
benchmark would run at 84 MHz. However, we opted to choose the
default clocking profile instead. After assuring this for our own
benchmark, I forgot to update the AuCPake cycle count.

We should take the 16 MHz cc measurement though, because it better
resembles our own benchmarking setup.

Thanks to Matthias for finding this mistake.