Als je het heel zeker wilt weten:
Geef in de terminal:
cat /proc/cpuinfo
Dan krijg je allerhande output, ergens zie je links 'flags' staan. Bij mij ziet dat er zó uit:
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_
En om die lm (long mode) gaat het. Heb je dat erbij staan, dan heb je 64-bits.