We must process incoming IPI messages when spinning in the thread