A reminder for those upgrading 32-bit Debian guests