psim encounters double interrupt

Hi!
I've built the Pistachio kernel from CVS with the following .config
(summarised):

<config>
# Processor
CONFIG_ARCH_POWERPC
CONFIG_CPU_POWERPC_IBM750
# Platform
CONFIG_PLAT_PC99
CONFIG_PLAT_OFPPC
# Kernel
CONFIG_IPC_FASTPATH
CONFIG_DEBUG
CONFIG_PPC_BAT_SYSCALLS
# Debugger
CONFIG_KDB
# Consoles
CONFIG_KDB_CONS_OF1275
CONFIG_KDB_CONS_PSIM_COM
CONFIG_KDB_DISAS
CONFIG_KDB_ON_STARTUP
# Trace
CONFIG_VERBOSE_INIT
CONFIG_TRACEPOINTS
CONFIG_KMEM_TRACE
# Code Generator
CONFIG_SYSV_ABI
CONFIG_PPC_MULTIWORD_INSTR
# Derived
CONFIG_BIGENDIAN
CONFIG_IS_32BIT
CONFIG_ALPHA_FASTPATH
CONFIG_ALPHA_CONSOLE_RESERVE
</config>

As mentioned before, I had to switch "CFLAGS += -0s" to "CFLAGS += -01"
for the kernel to build.

I've build the user part with "configure --host=powerpc --with-comport
[...]".

When I try to start Pistachio with psim with the command
"powerpc-unknown-eabi-run.exe -e -chirp -r 0x1000000 -m 604 -f
$PISTACHIO0.4-DIST/psim.tree ofppc-loader" I get the following:

<output>
[==== Pistachio PowerPC Open Firmware Boot Loader ====]
  [==== Installing sigma0 ====]
  [...]
  [==== Installing the root task ====]
  [...]
  [==== Installing the kernel ====]
  [...]
[==== Found the kernel interface page ====]
[...]
[ L4 PowerPC ]
Activated the Open Firmware console.
cpu 1, cia 0xfd71ec: double interrupt - MSR[RI] bit clear when
attempting to deliver interrupt, cia=0xfd71ec, msr=0x3030;
srr0=0xc0009264<cia>, srr1=0x3030<msr>; trap-vector=0x400,
trap-msr=0x1000
ofppc-loader: Caught signal -1 at address 0xfd71ec
</output>

There has been a thread in the mailinglist concerning the same error
with Pistachio 0.3. It was something about an illegal PPC instruction.
But actually it should have been solved, shouldn't it?

Maybe for interest: I'm using gcc-3.4.6, binutils-2.17 and psim from
gdb-6.4 under Cygwin without any patches.

Any help would be greatly appreciated,

Martin.