config-3.5.7-xenomai-i386:  set NR_CPUS=8