Процессор 32х битный, но програмное обеспечение amd64 и все работает. Почему?
На 32-битном проце 64-битное ядро просто не загрузилось бы. Или модель другая, или на сайте Интела опечатка.
Видимо вас смутило наличие amd64 в названии ОС. В названиях дистрибутивов Debian и Ubuntu (не знаю как у других) пишут amd64 для 64 битной архитектуры, с чем это связано сказать не могу.