[libvirt] CPU topology and ordering in ACPI MADT