Symbol: kbc_get8042cmd