assembly/ia32_x64: Update accordingly to last Intel docs.
assembly/ia32_x64: Change layout of x87 maps description.
assembly/ia32_x64: Say "mem" instead of "not(3)"