irqchip/ts4800: Add hardware dependency