IPI looks to working ... Both CPUs blocked in IdleThread