HTC Desire - bravo/bravoc kernel