Todos os processadores actualmente comercializados nos portáteis dão para instalar Windows/Linux versão x64 bits?