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