Perhaps the above does not survive a reboot?
I found something else:
In terminal type:
sudo nano /etc/default/grub
and add:
transparent_hugepage=never
in quote after "quiet splash"
then save and exit
then in terminal type:
sudo update-grub
(and then reboot)
Haven't tested thoroughly but am hoping it solves the issue...