Re: PS/2 keyboard failing on generic MP-kernel (Dell SC1425)

[Srebrenko Sehic]

I can confirm that PS/2 keyboard also stops responding with MP kernels
(3.9-STABLE/amd64) on Dell SC1425. However, USB keyboards work fine.
Use that instead.