On Tue, 7 Aug 2012, Tony Lindgren wrote: > I think these will cause new randconfig warnings without CONFIG_BUG set. Thanks for the comment. Did not know BUG() could be disabled. Will drop those changes. - Paul