[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.

GitOrigin-RevId: 5fa21e5fc7384069276e15dbb1c27986a6e86483
1 file changed