config-xenomai-*:  remove outdated options

http://www.xenomai.org/pipermail/xenomai/2013-December/029732.html

- Remove SMI config (now configured at run-time)
- Remove GPIO_PCH workaround (fixed)
- Remove redundant FTRACE config
Fix /lib/modules/`uname -r`/build link for Fedora:  /lib->/usr/lib

Relative link breaks on Fedora, since /lib is now /usr/lib.

Instead, follow other Fedora kernel packages and make link absolute.
config-xenomai-*:  disable LOCKDEP; add disabled i-pipe trace config

http://www.xenomai.org/pipermail/xenomai/2013-December/029732.html

- Disable CONFIG_LOCKDEP (by disabling CONFIG_DEBUG_KERNEL)
- Add commented-out i-pipe tracer debug config