Как указано выше, я сделал:
echo foreign-architecture amd64 | sudo tee /etc/dpkg/dpkg.cfg.d/multiarch
sudo apt-get update
sudo apt-get install linux-image:amd64
sudo apt-get install gcc-multilib
sudo update-grub
Это сработало. Я могу запустить свой 32-разрядный пользовательский интерфейс с 64-битным ядром в Ubuntu 12.04.