Hi, I have purchased the above listed notebook. Is the 64studio (64bit) compatible and efficient with the Intel dual core T7200? Thank in advance for any comments. John Dey