On Mon, 12 Oct 2015, Paul E. McKenney wrote:> ;-) ;-) ;-)bare_metal_cpus=?metal=iron_maiden=uhh skip the last one.