NEW: Support for the new POK BSP x86_qemu_vmm