On Tue, Aug 14, 2012 at 02:25:07PM -0700, Randy Dunlap wrote:> Surely. I have no gross objection to this specific patch.OK. Thanks!PATCHv2 will hide the option behind EMBEDDED and make it default to y.- Josh Triplett