* This may not actually impact any ThinkPenguin laptops, but if you are having a problem of this nature try this.
* Tested under Ubuntu 18.04
* Also more or less is the same for Manjaro (11-6-2020), though replace quiet splash with just quiet
If you find that your keyboard isn't working try the following:
sudo nano /etc/default/grub
After quiet splash add atkbd.reset i8042.nomux
Example of what it would look like afterward:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash atkbd.reset i8042.nomux"
Then
sudo update-grub