Nemáš pravdu, na 64bit linuxu jde jiný 64bit systém spustit ve VirtualBoxu bez problémů. 32bit windowsXP samozřejmě také.