TCG does not support x2APIC emulation