We have both IRQ sinks and GPIO inputs.  These are in principle exactly
the same thing, so remove the former.
Signed-off-by: NPaul Brook <paul@codesourcery.com>