A final note on the original issue of not waking up after sleeping. … I installed the Nvidia driver for my GPU using this method , and followed this post from Melways to get waking from sleep resolved.