Fix S390Debugger::GetValue to be able to accept 64-bit addresses