On Fri, 30 Mar 2012 12:00:56 +0200Borislav Petkov <bp@alien8.de> wrote:...> Linus tree from today gives the following in menuconfig:Should be fixed by http://marc.info/?l=linux-kernel&m=133245014825438&w=2Thanks,Anatolij