Disable CONFIG_TRANSPARENT_HUGEPAGE to fix x86-arch oops

Jan's fix for x86 arch kernel oops:

  kernel BUG at mm/mmap.c:2313!
  invalid opcode: 0000 [#2] SMP

http://www.xenomai.org/pipermail/xenomai-help/2011-06/msg00197.html
Disable CONFIG_XENO_HW_SMI_WORKAROUND by default

http://www.xenomai.org/pipermail/xenomai/2013-January/027292.html
Disable CONFIG_FTRACE to improve latencies

http://www.xenomai.org/pipermail/xenomai/2013-January/027272.html