8932c32c3053 ("irqdomain: Fix domain registration race")