No matches were found for subject:"\[Xenomai\-git\] Gilles Chanteperdrix \: smi\: add PCI ID for old kernels"