RE: [PATCH v2 7/7] vfio/fsl-mc: Block calling interrupt handler without trigger