K 10 svn:author V 3 ian K 8 svn:date V 27 2019-04-30T00:54:31.234264Z K 7 svn:log V 438 MFC r346489: Move the reporting of spurious interrupts under bootverbose control, because occasional spurious interrupts are a normal thing on this hardware. Also, change the name of the cpu-local interrupt controller driver from local_intc to lintc, because the name gets built into interrupt names, which have to fit into a 19-byte field for stats reporting (so this allows 5 more bytes of the actual interrupt name to be displayed). END