K 10 svn:author V 4 stas K 8 svn:date V 27 2009-05-12T21:28:41.897110Z K 7 svn:log V 187 - Resurrect the debug printf message I accidentally dropped in the previous commit. - Use device_printf instead of printf. - Put all printfs in the interrupt handler under bootverbose. END