/* SDMA - first instance at 0xd000, second at 0xd800 */