Some HTC One X users reporting SMS notification problems, fix coming soon