bus: do not pass a pointer but a uint64_t address in RECV