Follow-up on my previous post: the touchpad worked only for a single boot. I suspended the computer, and when it resumed, the Touchpad tab was gone from the system settings (as was the touchpad itself). None of the solutions mentioned in this thread have worked since then (rebooted many times).
BTW, when booting in Windows, the touchpad works flawlessly, ruling out some hardware failure.
Bookmarks