Home Samsung may use 12GB RAM for Galaxy Note 10