Create 8042kbc.h