Changed to use broadcast for INIT IPI and SIPI because no shorthand IPI somehow did not work with T410.