HTC One Mini kernel