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