Solved! Does the Asus EEE PC 1015T Netbook support 64bit processing?