ARM kprobes on Thumb kernels? was Re: Determining an ARM CPU's architecture