On Tue, 2010-06-01 at 23:26 -0700, Dmitry Torokhov wrote: > > FYI: i8042 core expects I8042_{KBD|AUX}_IRQ to be integers, however it > is certainly fixable... Let's not bother. Cheers, Ben.