acrs are 32 bit and not 64 bit.
Reported-by: NAndrew Jones <drjones@redhat.com>
Signed-off-by: NChristian Borntraeger <borntraeger@de.ibm.com>
Signed-off-by: NPaolo Bonzini <pbonzini@redhat.com>