arm: vt8500: Use proper irq accessors