K 10 svn:author V 6 adrian K 8 svn:date V 27 2009-05-30T06:37:03.764681Z K 7 svn:log V 86 Correctly report the IPI IRQs being created; make it clear what vectors they are for. END