On Tue, 2012-06-12 at 14:02 +0200, Vincent Guittot wrote:> +#ifdef CONFIG_OFThat must really be the worst CONFIG_ name ever..