x86_64 dma driver did not like the kernel stack