Fixed IPI problem and added CPU and NUMA domain count