Map the physical page for trampoline code

sdk/xtdk/amd64/mmtypes.h

@@ -63,6 +63,9 @@
 /* Maximum physical address used by HAL allocations */
 #define MM_MAXIMUM_PHYSICAL_ADDRESS                0x00000000FFFFFFFFULL
 
+/* Trampoline code address */
+#define MM_TRAMPOLINE_ADDRESS                      0x80000
+
 /* Page size enumeration list */
 typedef enum _PAGE_SIZE
 {