That was easy: I kept an older kernel around just in case, then:
$ sudo dpkg --add-architecture amd64 $ sudo apt-get update $ sudo apt-get install linux-image-generic:amd64
Reboot. And voilà:
$ uname --processor x86_64
That was easy: I kept an older kernel around just in case, then:
$ sudo dpkg --add-architecture amd64 $ sudo apt-get update $ sudo apt-get install linux-image-generic:amd64
Reboot. And voilà:
$ uname --processor x86_64