Switch to HTC 3.0 kernel source release on santod's repo