Re: [PATCH OLK-6.6 0/1] irqchip/gic: remove useless printing in pv sgi