原來如此...
順便找了一下，VirtualBox 似乎也只支援 32bits guest ...
這... 忽然想到 vmware server 可以支援 64bits smp 耶...