Comment by TNorthover

I was working there at the time and even internally Jazelle documentation was hidden. Very odd for what it is.