Input: i8042 - fix IRQ printing when either KBD or AUX port