On my single CPU system. I just noticed that local_irq_disable() (and local_irq_save) did not work. I expect my board should hold up afterwords, everything seems wokrs as usually afterword.
I googled on web, founds there was a post about the same behavior, but not good explaination for it.
A