On Wed, Jun 08, 2016 at 14:41:32 +0200, Jiri Denemark wrote:
For two reasons:
- 0x00000001 is very similar to 0x80000001, but 0x01 is visually
different
- 0x01 format is consistent with CPUID manual
Signed-off-by: Jiri Denemark <jdenemar(a)redhat.com>
---
src/cpu/cpu_map.xml | 158 ++++++++++++++++++++++++++--------------------------
1 file changed, 79 insertions(+), 79 deletions(-)
ACK