It doesn't seem there is such a thing as a 64bit CPU for this board, manual indicates it only supports Xeon 400/533MHz FSB and I don't find such an animal. Why would the board support more than 4GB of memory if that is the case? The max memory supported is 12GB, what can you do with the extra memory support?