K 10 svn:author V 4 skra K 8 svn:date V 27 2016-04-05T13:37:03.226197Z K 7 svn:log V 159 Rework bcm283x interrupt controller for INTRNG and enable it on RPI-B by default. Reviewed by: gonzo Differential Revision: https://reviews.freebsd.org/D5809 END