Насколько я помню, можно установить ядро x86_64 в 32-разрядную систему. Как написано здесь несколько, вы должны посмотреть, какие у вас библиотеки / какие пакеты вы установили в своей системе. Поэтому самый безопасный способ проверить, есть ли у вас /lib64, и если это символическая ссылка на /lib.
Еще один возможный способ - проверить, какие пакеты вы загрузили в /var/cache/apt/archive. Если они содержат _amd64.deb, это 64-разрядная система, то есть если вы установили пакеты и не очистили свой кеш.
Все это можно сделать из Konqueror / Dolphin, просто указав и нажмите или:
ls -la / |grep lib