x86_x32: Some documentation updates