runtime: use KERNELCPU_PAYLOAD_ADDRESS on UP

sbourdeauducq · sbourdeauducq · commit f26c53cb35e7 · 2015-04-05T22:16:51.000+08:00
diff --git a/soc/runtime/main.c b/soc/runtime/main.c
@@ -9,14 +9,14 @@
 
 #include "test_mode.h"
 #include "comm.h"
+#include "kernelcpu.h"
 #include "elf_loader.h"
 #include "exceptions.h"
 #include "services.h"
 #include "rtio.h"
 #include "dds.h"
 
 #ifdef ARTIQ_AMP
-#include "kernelcpu.h"
 #include "mailbox.h"
 #include "messages.h"
 #endif
