Improve Vagrant VM performance.

Especially the "I/O APIC" seems to be an important setting.