Cleanup

loader/source/main.c

@@ -1,4 +1,5 @@
 #include "memory.h"
+#include "cache.h"
 
 void main(void)
 {
@@ -6,8 +7,7 @@ void main(void)
 
     memcpy(payloadAddress, (void*)0x24F00000, *(u32 *)0x24FFFF04);
 
-    ((void (*)(void))0xFFFF0830)(); //Clean and flush the entire DCache, then drain the write buffer
-    ((void (*)(void))0xFFFF0AB4)(); //Flush the entire ICache
+    flushCaches();
     
     ((void (*)())payloadAddress)();
 }