AW: sh: intc - primary priority masking fixes

[EXTERNAL B. M. (P. ST-FIR/Eng) <ext...@de...>]

> I'm already hunting the next bug.=20

I found the bug. It was in my printk debug messages, which lead me to
wrong decisions.

So your code is right.

Regards

Markus