[NFC][X86][Headers] Fix missing blank line

It caused the \headerfile directive to be considered as part of
the brief description in some of our tooling.