Input: Only write the CTR in i8042 resume function. Reading it is