WIP

src/hardware/input/intel8042.cpp

@@ -954,7 +954,8 @@ static uint8_t read_data_port(io_port_t, io_width_t) // port 0x60
 	is_data_from_aux = false;
 	is_data_from_kbd = false;
 
-	maybe_transfer_buffer();
+	// XXX was: maybe_transfer_buffer();
+	restart_delay_timer(PortDelayMs);
 
 	return ret_val;
 }