remove gratuitously-different arch-specific bits/ipc.h files