x86, documentation: kernel-parameters replace X86-32,X86-64 with X86