Red Hat officially commits to MIT's $100 laptop