If you install Webmin as mentioned in that wiki page, you can log into it and see the kernel name you are using from the main System Information page. It will show something like this:
Code:
System hostname YourPCName
Operating system Debian Linux 4.0
Webmin version 1.441
Time on system Fri Mar 27 00:22:39 2009
Kernel and CPU Linux 2.6.24-etchnhalf.1-686 on i686
System uptime 49 days, 20 hours, 57 minutes
CPU load averages 0.22 (1 min) 0.33 (5 mins) 0.35 (15 mins)
Real memory 3.34 GB total, 2.35 GB used
The line in bold is what you are looking for. I know there are quicker ways to get that information from command-line, but webmin is a very helpful tool, so it doesn't hurt to have it setup anyway. If your kernel says something about being 64 bit, that may be why you are having the issue. Though, I wasn't aware of any issues compiling on 64bit Linux. If that is the problem, you can always change to a different Kernel if needed. That is explained a bit in the wiki page as well, I believe.