x86: dma-mapping: fix broken allocation when dma_mask has been provided