Documentation: x86: convert x86_64/machinecheck to reST