Linux embedded devices and us. Are any of us choosing what to buy based on "Linux inside"?