3.5.7-4:  Add patch to fix compile error in perf on fc18

this patch looks to be in upstream kernels since 2012-07, so hopefully
can be removed next release
perf_tools_compile patch:  first hunk doesn't apply; removed
Fix kernel headers to include ipipe and xenomai directories
Rename package back to 'kernel' from 'kernel-rt'; set buildid to .xenomai

'kernel-rt' is the name of the MRG RT_PREEMPT kernel.

This package is really a regular (although modified) kernel package
that builds a 'xenomai' flavor.

Therefore, it makes sense to set buildid to .xenomai to distinguish it
from another upstream kernel, whose name might conflict.  The
'vanilla' package with Xenomai and i-pipe disabled, called 'kernel' as
usual, will show the buildid in `uname -r`:  3.5.7-4.xenomai.el6.x86_64

The xenomai flavor package, called 'kernel-xenomai', will be called
'kernel-xenomai'.  The string 'xenomai' will be redundant in `uname
-r`: 3.5.7-4.xenomai.el6.xenomai.x86_64.  The first '.xenomai'
indicates the buildid.  The second '.xenomai' indicates the flavor.
With this scheme, the kernels may coexist.

Finally, this leaves room for a combo package.  The buildid would be
called something like 'ipipe', and then both 'xenomai' and 'rtai'
flavors could be built from the same source.
Rename kernel-rt-3.5.spec to kernel.spec

- Remove -rt as part of package rename in previous commit
- Remove version so we can use the same base for other packages
Fix Requires: statement for xenomai flavor pkg

The RPM equality operator is the double equals sign.
Re-enable all parts of build.
FIXME Temporarily disable parts of build for testing
update to Linux 3.8.13 after Xenomai release

- update to Linux 3.8.13 for Xenomai 2.6.3 release
- update method of applying the Xenomai patch, changed in this release
- don't specify xenomai-devel release explicitly
- find ipipe patch automatically
- remove patch accepted upstream
Updated kernel config files for 3.8.13
Fix calculated arch on 'noarch' package run