Only recent Xeons are 64bit...
But ALL Xeons support PAE (Google it)
thats why i asked him if it was a new system, (he said aquired, could be old) but if he just baught it then it should be 64bit. for PAE ya, so the 12GB is supported. but a 54bit OS is needed