O que impede o Google de criar um sistema operacional real (um sistema operacional para pequenos dispositivos ARM, x86 etc.)?
É um sistema operacional "real".
Por que não há imagem universal que possa detectar drivers apropriados
Como você detecta drivers que não existem? Alguém tem que escrevê-los. Ao contrário dos PCs, o hardware do telefone varia bastante, principalmente porque não é viável para os usuários finais construir seus próprios a partir de restrições de peças e tamanho. Peças personalizadas em vez de peças intercambiáveis e chipsets especiais significam que drivers muito específicos são necessários, e um sistema operacional não pode apenas enviar peças padrão. Imagine o inchaço também - alguém com um telefone HTC barato com 20 MB para aplicativos não tem espaço para hospedar drivers de que não precisa.
e configure o carregador de inicialização para inicializar a versão atualizada do SO
Os gerenciadores de inicialização também variam muito entre os dispositivos; você precisaria contratar todos os fabricantes para usar um único, e é improvável que os fabricantes desejem abrir mão de seu poder nessa área.