add credits for DMA
Add correct name
PCI: Proper credits
Merge branch 'tp4-dma' into tp4-ciri

Conflicts:
	lua/forth