[PATCH] i386: Remove unused kernel config option X86_XADD