python: Fix incorrect header in the DmaDevice wrapper

The header declared in the DmaDevice wrapper doesn't actually contain
the DmaDevice class. This can potentially lead to incorrect type cases
in Swig.

Change-Id: If2266d4180d1d6fd13359a81067068854c5e96fe
Signed-off-by: Andreas Sandberg <andreas.sandberg@arm.com>
Reviewed-by: Sascha Bischoff <sascha.bischoff@arm.com>

src/dev/Device.py

@@ -46,7 +46,7 @@ class BasicPioDevice(PioDevice):
 
 class DmaDevice(PioDevice):
     type = 'DmaDevice'
-    cxx_header = "dev/io_device.hh"
+    cxx_header = "dev/dma_device.hh"
     abstract = True
     dma = MasterPort("DMA port")