Update 8042kbc.c