Aunque la especificación sólo soporta completamente IA-32.