Re: [PATCH] vfio: platform: Switch to platform_get_irq_optional()