Kernel: 3.9.2-2.pvops.qubes.x86_64 CPU: Intel(R) Core(TM) i7 CPU M 620 @ 2.67GHz Chipset: 00:00.0 Host bridge [0600]: Intel Corporation Core Processor DRAM Controller [8086:0044] (rev 02) VGA: 00:02.0 VGA compatible controller [0300]: Intel Corporation Core Processor Integrated Graphics Controller [8086:0046] (rev 02) BIOS: 6IET74WW (1.34 ) VT-x: Active VT-d: Active