Jazelle works, see Javispedro's and my work. I don't believe it requires anything kernel related, it's just a coprocessor and some instructions to enter the mode.