K 10 svn:author V 6 marcel K 8 svn:date V 27 2008-08-31T02:25:20.052617Z K 7 svn:log V 49 Remove restore_intr(). We have intr_restore()... END