I don't have much info about Desire HD but there isn't any kernel option for Desire S to use w/ JB. Two previous version was using latest patched 3.0.101 linux kernel. But in my opinion it had awful battery life and also Cpu was running @1.2Ghz as default. This and previous usin 3.0.93 linux...