configure.in:  give xenomai{,-kernel} detection the same treatment as rtai