Address space area leak in remote_ahci_read/write_blocks()

[Jakub Jermář]

It looks like there is a leak of a shared address space area in remote_ahci_write_blocks() and remote_ahci_read_blocks():

        void *buf;
        async_share_out_finalize(cid, &buf);

        const uint64_t blocknum =
            (((uint64_t) (DEV_IPC_GET_ARG1(*call))) << 32) |
            (((uint64_t) (DEV_IPC_GET_ARG2(*call))) & 0xffffffff);
        const size_t cnt = (size_t) DEV_IPC_GET_ARG3(*call);

        const int ret = ahci_iface->read_blocks(fun, blocknum, cnt, buf);

        async_answer_0(callid, ret);

buf is passed to ahci_read/write_blocks(), but it is never as_destroy()'ed in either of them nor in any other part of the ahci driver.