Thumb-2: Correctly handle undefined instructions in the kernel