On Thursday 08 May 2014 08:59:31 Dmitry Torokhov wrote:

Hi Arnd,

On Thu, May 08, 2014 at 04:56:26PM +0200, Arnd Bergmann wrote:

quoted

@@ -71,7 +71,7 @@ config KEYBOARD_ATKBD
      default y
      select SERIO
      select SERIO_LIBPS2
-     select SERIO_I8042 if X86
+     select SERIO_I8042 if X86 || ARCH_MIGHT_HAVE_PC_SERIO

x86 also selects ARCH_MIGHT_HAVE_PC_SERIO so shouldn't this be

        select SERIO_I8042 if ARCH_MIGHT_HAVE_PC_SERIO

?

I can fix it up on my side if you agree.

Yes, sounds good, thanks!

	Arnd