configs: TK1: add APBDMA memory region

TK1's APBDMA memory region was not defined so far. Accessing TK1 devices
that use DMA will crash the root cell (e.g., hsuart or SPI).

Add this region.

Signed-off-by: Ralf Ramsauer <ralf.ramsauer@oth-regensburg.de>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

configs/jetson-tk1.c

@@ -117,13 +117,14 @@ struct {
 				JAILHOUSE_MEM_IO,
 		},
 		/*
+		 * HACK: 0x1400@0x60002000: APBDMA
 		 * HACK: 0x0500@0x60004000: Legacy Interrupt Controller,
 		 * HACK: 0x0400@0x60005000: Nvidia Timers (TMR + WDT),
 		 * HACK: 0x1000@0x60006000: Clock and Reset Controller
 		 */ {
-			.phys_start = 0x60004000,
-			.virt_start = 0x60004000,
-			.size = 0x3000,
+			.phys_start = 0x60002000,
+			.virt_start = 0x60002000,
+			.size = 0x5000,
 			.flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
 				JAILHOUSE_MEM_IO,
 		},