My Dell XPS 13 lags after upgrading to 20.04. All graphics are fine, but the system simply does not respond quickly enough. Sometimes all is fine, but often the pointer is about half a second behind, so is typing.