Use 64 bit values for guest memory in snmpd