Comment 9 for bug 1759462

Reply to #8, problem seems to have gone away on it's own today. Had tried multiple DE's that didn't work and went into Unity. A message that "Updates are available" appeared. Clicking on it installed nothing but probably ran `sudo apt update`, `sudo apt upgrade` in the background. Rebooted into 16.04. Later rebooted into 18.04 test environment and `Ctrl`+`Alt`+`T` and media keys are working.