x86 queue, 2018-06-11
* Support for CPUID[0x8000001D] (AMD Cache Topology Information)
* pc bug fix: Remove PC_COMPAT_2_12 from 3.0 machine-types
# gpg: Signature made Mon 11 Jun 2018 18:22:48 BST
# gpg: using RSA key
2807936F984DC5A6
# gpg: Good signature from "Eduardo Habkost <ehabkost@redhat.com>"
# Primary key fingerprint: 5A32 2FD5 ABC4 D3DB ACCF D1AA 2807 936F 984D C5A6
* remotes/ehabkost/tags/x86-next-pull-request:
pc: Remove PC_COMPAT_2_12 from 3.0 machine-types
i386: Populate AMD Processor Cache Information for cpuid 0x8000001D
i386: Clean up cache CPUID code
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>