> There exist Virtualbox and Xen implementations which violate the spec. As a result the physical to logical package map, which relies on the ACPI/MP tables doe

> There exist Virtualbox and Xen implementations which violate the spec. As a result the physical to logical package map, which relies on the ACPI/MP tables does not work on those systems, because the CPUID initialized physical package id does not match the firmware id. This causes system crashes and malfunction due to invalid package mappings. You can argue that the system shouldn't crash (although at that low a level, not sure what else can happen)... but beyond that, how is "VirtualBox and Xen implementations violate the spec" a failing of a CPU?