docomoの発表で4.2には入ってないけど、アップデート来ることってある？