cores/dma, liblitesdcard/sdcard: use 64 bits for dma base address