Signed-off-by: Al Stone <ahs3@redhat.com>
This is an attempt to fix the bug; the ACPI_MACHINE_WIDTH setting was letting s390x be treated as a 32-bit machine, not a 64-bit one. Signed-off-by: Al Stone <ahs3@redhat.com>