diff --git a/src/system/kernel/arch/arm/arch_cpu.cpp b/src/system/kernel/arch/arm/arch_cpu.cpp
index e225f9cef8..65d4795a80 100644
--- a/src/system/kernel/arch/arm/arch_cpu.cpp
+++ b/src/system/kernel/arch/arm/arch_cpu.cpp
@@ -161,6 +161,8 @@ arch_cpu_user_TLB_invalidate(void)
 }
 
 
+// TODO: all functions that use fault handlers need to be implemented
+// in assembly due to problems passing in label addresses in gcc4.
 status_t
 arch_cpu_user_memcpy(void *to, const void *from, size_t size,
 	addr_t *faultHandler)
diff --git a/src/system/kernel/arch/m68k/arch_cpu.cpp b/src/system/kernel/arch/m68k/arch_cpu.cpp
index 235c5aabaf..488e905c19 100644
--- a/src/system/kernel/arch/m68k/arch_cpu.cpp
+++ b/src/system/kernel/arch/m68k/arch_cpu.cpp
@@ -171,6 +171,8 @@ arch_cpu_user_TLB_invalidate(void)
 }
 
 
+// TODO: all functions that use fault handlers need to be implemented
+// in assembly due to problems passing in label addresses in gcc4.
 status_t
 arch_cpu_user_memcpy(void *to, const void *from, size_t size,
 	addr_t *faultHandler)
diff --git a/src/system/kernel/arch/ppc/arch_cpu.cpp b/src/system/kernel/arch/ppc/arch_cpu.cpp
index 79c62967f0..80a76d4294 100644
--- a/src/system/kernel/arch/ppc/arch_cpu.cpp
+++ b/src/system/kernel/arch/ppc/arch_cpu.cpp
@@ -172,6 +172,9 @@ arch_cpu_user_TLB_invalidate(void)
 }
 
 
+// TODO: all functions that use fault handlers need to be implemented
+// in assembly due to problems passing in label addresses in gcc4.
+
 status_t
 arch_cpu_user_memcpy(void *to, const void *from, size_t size,
 	addr_t *faultHandler)