Comment 12 for bug 1700657

Sorry, forgot to mention the most important bit of information: that did not solve the problem.
Nor did adding "acpi=biosirq" or "i8042.reset" to the kernel line (solutions reported for other computers with similar problems).

Secure boot was disabled throughout. (I have no idea why legacy boot would make a difference but it did)