I have an HP EliteBook Folio 1040 which worked fine under Ubuntu 18.04. After an upgrade, the internal keyboard and touchpad stopped working:
- When I add an external keyboard / mouse, they work
- In the bios, the internal keyboard works. Hence it's not a hardware issue
How can I fix this?