Will new SD1 be shipped with the new 4.0 OS?