No matches were found for subject:"Re\: Question on handling managed IRQs when hotplugging CPUs"