libsel4debug: Correct aarch32 registers names

Somehow along the way, some of the names of the registers of the
kernel's user context for aarch32 got changed and also some other
registers got added. This file wasn't kept updated in regards to user
context change. This commit updates it so that it reflects the user
context changes for aarch32.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>

libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h

diff --git a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
index 658ec66..e95b340 100644
--- a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
+++ b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
@@ -27,8 +27,9 @@
     "r5",
     "r6",
     "r7",
-    "lr",
+    "r14",
     "tpidrurw",
+    "tpidruro"
 };
 
 /* assert that register_names correspond to seL4_UserContext */
@@ -50,4 +51,5 @@
 compile_time_assert(r7_correct_position, offsetof(seL4_UserContext, r7)     == 15 * sizeof(seL4_Word));
 compile_time_assert(r14_correct_position, offsetof(seL4_UserContext, r14)   == 16 * sizeof(seL4_Word));
 compile_time_assert(tpidrurw_correct_position, offsetof(seL4_UserContext, tpidrurw) == 17 * sizeof(seL4_Word));
+compile_time_assert(tpidruro_correct_position, offsetof(seL4_UserContext, tpidruro) == 18 * sizeof(seL4_Word));