So, habe mir jetzt einen T8100 bestellt.
Zum Thema BIOS-Unterstützung von VT-x gibt es bei heise einen guten Artikel:
CPU-Virtualisierungsfunktionen nutzbar? | c't
Bei mir hat das MSR Register 0x3A den Wert 9, also zumindest schon mal nicht 1 (kein Support). Bleibt also dennoch ein Glücksspiel. Ich werde berichten...
http://abload.de/img/unbenannt0yup1.png
Gruß
Jochen