mapped tsx_penirq_n to a register in an attempt to work around the fact that I cannot seem to get a device driver to use a gpio line specificed in the devicetree