Re: [PATCH] powerpc/xive: use hw CPU ids when configuring the CPU queues