x86: update the docs