[Crash-utility] [PATCH crash-trace] Fix handling of Thumb-2 kernels