Changes are made by enabling all xenomai-related configs using
menuconfig for arm kernel, then exported with savedefconfig command.

Other missing and removed options are turned on implicitly.
Signed-off-by: Roman Stratiienko <roman.stratiienko@globallogic.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>