Format:
                        <irq>,<irq_mask>,<io>,<full_duplex>,<do_sound>,<lockup_hack>[,<irq2>[,<irq3>[,<irq4>]]]
 
+       xive=           [PPC]
+                       By default on POWER9 and above, the kernel will
+                       natively use the XIVE interrupt controller. This option
+                       allows the fallback firmware mode to be used:
+
+                       off       Fallback to firmware control of XIVE interrupt
+                                 controller on both pseries and powernv
+                                 platforms. Only useful on POWER9 and above.
+
        xhci-hcd.quirks         [USB,KNL]
                        A hex value specifying bitmask with supplemental xhci
                        host controller quirks. Meaning of each bit can be