Stock HTC kernel source from 2.16.651.4 update, kernel build 3.4.0-g5fd9b03