Disable xenomai-kernel threads on non-PC platforms

Fixes #63