ppc/xive: Update the state of the External interrupt signal