cobalt/select: pipeline: convert to abstract synthetic IRQ API

Signed-off-by: Philippe Gerum <rpm@xenomai.org>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
12 jobs for master in 18 minutes and 40 seconds (queued for 27 seconds)
latest
Status Job ID Name Coverage
  Build
passed #211175
arm-4.14-release

00:18:39

passed #211174
arm-4.19-release

00:14:53

passed #211176
arm-4.4-cip-head

00:12:08

passed #211178
arm64-4.14-release

00:09:33

passed #211177
arm64-4.19-release

00:10:44

passed #211185
powerpc-4.19-release

00:11:01

passed #211182
x86-4.14-release

00:17:19

passed #211180
x86-4.19-cip-head

00:12:57

passed #211181
x86-4.19-cip-release

00:12:44

passed #211183
x86-4.4-cip-head

00:11:31

passed #211184
x86-4.4-cip-release

00:16:54

passed #211179
x86-5.4-head

00:13:49