[...]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 20 -> i8042 (command) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 67 <- i8042 (return) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 76 -> i8042 (parameter) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: d3 -> i8042 (command) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f0 -> i8042 (parameter) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 0f <- i8042 (return) [0]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: d3 -> i8042 (command) [2]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 56 -> i8042 (parameter) [2]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a9 <- i8042 (return) [2]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: d3 -> i8042 (command) [3]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a4 -> i8042 (parameter) [3]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ee <- i8042 (return) [3]
May 14 15:19:00 trabant kernel: i8042.c: Detected active multiplexing controller, rev 1.1.
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [12]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 20 -> i8042 (parameter) [12]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 90 -> i8042 (command) [13]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a8 -> i8042 (command) [13]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 91 -> i8042 (command) [13]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a8 -> i8042 (command) [14]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 92 -> i8042 (command) [14]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a8 -> i8042 (command) [14]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 93 -> i8042 (command) [15]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: a8 -> i8042 (command) [15]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [15]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [15]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [16]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 -> i8042 (parameter) [16]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 90 -> i8042 (command) [17]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f2 -> i8042 (parameter) [17]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux0, 12) [18]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 90 -> i8042 (command) [18]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ed -> i8042 (parameter) [18]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux0, 12) [19]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [19]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [19]
May 14 15:19:00 trabant kernel: serio: i8042 AUX0 port at 0x60,0x64 irq 12
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [28]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [28]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [28]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 -> i8042 (parameter) [28]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 91 -> i8042 (command) [29]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f2 -> i8042 (parameter) [29]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux1, 12) [30]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 91 -> i8042 (command) [30]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ed -> i8042 (parameter) [30]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux1, 12) [31]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [31]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [31]
May 14 15:19:00 trabant kernel: serio: i8042 AUX1 port at 0x60,0x64 irq 12
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [40]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [40]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [42]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 -> i8042 (parameter) [42]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 92 -> i8042 (command) [43]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f2 -> i8042 (parameter) [43]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, aux2, 12) [50]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 <- i8042 (interrupt, aux2, 12) [52]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [52]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [52]
May 14 15:19:00 trabant kernel: serio: i8042 AUX2 port at 0x60,0x64 irq 12
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [60]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [60]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [61]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 -> i8042 (parameter) [61]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 93 -> i8042 (command) [61]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f2 -> i8042 (parameter) [61]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux3, 12) [63]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 93 -> i8042 (command) [63]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ed -> i8042 (parameter) [63]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, aux3, 12) [63]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [63]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [63]
May 14 15:19:00 trabant kernel: serio: i8042 AUX3 port at 0x60,0x64 irq 12
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [72]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (parameter) [72]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 60 -> i8042 (command) [74]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 01 -> i8042 (parameter) [74]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f2 -> i8042 (kbd-data) [74]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [76]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ab <- i8042 (interrupt, kbd, 1) [78]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 83 <- i8042 (interrupt, kbd, 1) [79]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: ed -> i8042 (kbd-data) [79]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [80]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (kbd-data) [80]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [82]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f8 -> i8042 (kbd-data) [82]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fe <- i8042 (interrupt, kbd, 1) [82]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f4 -> i8042 (kbd-data) [82]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [83]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f0 -> i8042 (kbd-data) [83]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [84]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 -> i8042 (kbd-data) [84]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [84]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: f0 -> i8042 (kbd-data) [84]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [85]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 00 -> i8042 (kbd-data) [85]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [85]
May 14 15:19:00 trabant kernel: drivers/input/serio/i8042.c: 02 <- i8042 (interrupt, kbd, 1) [91]
May 14 15:19:00 trabant kernel: input: AT Set 2 keyboard on isa0060/serio0
May 14 15:19:00 trabant kernel: serio: i8042 KBD port at 0x60,0x64 irq 1
[...]
May 14 15:19:07 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [18905]
May 14 15:19:07 trabant kernel: drivers/input/serio/i8042.c: fa <- i8042 (interrupt, kbd, 1) [18919]

These two interrupts are always the last thing I see, no matter how many keys I press.