Two reverts addressing regressions of the Xilinx interrupt controller driver which affected the PPC users.
