> a DSB is mandatory at the end of interrupt-code

I believe it should also be used when disabling interrupts from non-interrupt code.

> SCB_AIRCR = 0x05FA0004;

Of course such things...