Linux home entertainment OS targets consumer devices