[Xenomai] [PULL] ipipe: fixes for 3.14

[Jan Kiszka <jan.kiszka@siemens.com>]

The following changes since commit 00d8a6f2e95453f61ae97b6587dba03bc91c7e1a:

  arm/ipipe: Resolve trival merge conflicts (2015-01-14 17:00:22 +0100)

are available in the git repository at:

  git://git.xenomai.org/ipipe-jki 

for you to fetch changes up to f982e48ce99e1bc9e71eac21830adac2db265c98:

  x86/ipipe: Restore invocation of ipipe_unlock_irq from startup_ioapic_irq (2015-02-16 18:22:21 +0100)

All patches apply to 3.16 as well but weren't tested there yet. Still
analyzing strange

traps: (systemd)[1420] trap invalid opcode ip:7f4d138f612b sp:7fff4fd8f568 error:0 in libpthread-2.19.so[7f4d138e5000+18000]

on the target under 3.14...

----------------------------------------------------------------
Jan Kiszka (3):
      arm/ipipe: Fix ret_from_exception for !CONFIG_IPIPE
      ipipe: Disable PROVE_RCU when I-pipe is on
      x86/ipipe: Restore invocation of ipipe_unlock_irq from startup_ioapic_irq

 arch/arm/kernel/entry-armv.S   | 4 +++-
 arch/x86/kernel/apic/io_apic.c | 1 +
 lib/Kconfig.debug              | 2 +-
 3 files changed, 5 insertions(+), 2 deletions(-)