Hi all I've on a DELL Server Debian Lenny 32bit. 1. How could I check if 64bit is enabled (in the bios) 2. How could I change the 32bit Kernel to 64bit and the packages I do not want to set up the server again, I've acces via ssh. Thanks admins