K 10 svn:author V 3 ian K 8 svn:date V 27 2014-08-06T21:27:15.767545Z K 7 svn:log V 220 Use a SYSINIT to init the array of interrupt names on arm. This was called from initarm() in arm/machdep.c, but many legacy arm platforms have their own private initarm(), so a SYSINIT fixes everyone. Reported by: jmg END