doc/kernel-parameters: use X86-32 tag instead of IA-32