I can't tell if the problem was fixed by installing the vanilla kernel or reverting to an older Ubuntu kernel. Does anyone have ideas?