x86: ipi.c: removed duplicated include