x64: Use DMI BIOS vendor for detecting Xen hypervisor

If we fail to detect Xen clocksource, fallback to checking firmware
vendor from DMI tables.

Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Merge branch 'stable/v0.15'