This also builds the Xenomai userspace as part of CI. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>