armv8: Port irq cap invocations