Create 8042kbc.c