[opensuse] cpuflag vmx exists when running default kernel but not when running XEN kernel