x86: use generic per-device dma coherent allocator