properly receive IPIs on secondary core