Add documentation for x86 headers