Disable xenomai-kernel threads on non-PC platforms

Fixes #63
Merge pull request #261 from zultron/arm-no-xeno-k

Disable xenomai-kernel threads on non-PC platforms