Making Linux better support mobile would be a better use of resources.