X86 is same as X86-32+X86-64 so replace X86-32,X86-64 with X86.
Signed-off-by: NJaswinder Singh Rajput <jaswinderrajput@gmail.com>
LKML-Reference: <1239698023.3033.37.camel@ht.satnam>
Signed-off-by: NIngo Molnar <mingo@elte.hu>