Sources: Google-branded Chrome OS netbook to launch on December 7th