Ja, bei allen anderen Tabellen, die ich gefunden habe, war es derselbe Fall. Versuch mal herauszufinden, welcher Chipsatz verbaut ist. Soweit ich aber bei den BIOS-Updates auf o. a. Link sehen konnte, ist für alle ein 64-Bit BS geeignet. Somit muss der Prozessor ein 64er sein.
Schon wieder EDIT:
Falls einer Deiner Bekannten eine 64-Bit Betriebssytem-CD hat, egal ob Windows oder Linux, beginne die Installation einfach mal damit. Bereits am Anfang wird Dir da mitgeteilt, ob die Hardware für das System geeignet ist.