x86: waits after sending IPIs