Есть ли прошивка на Android, в которой нет ничего лишнего?
Довольно популярые альтернативные прошивки делает CyanogenMod. Работает, как правило, быстрее, чем стоковые прошивки. www.cyanogenmod.org На 512 уже вряд ли что-то будет летать, но будет по крайней мере пошустрее.
Которая бы отлично летала? 8-)  С балкона отлично полетит =)
У меня самого телефон с <1Гб встроенной памяти (Explay Tornado). 4 ядерный проц, в целом всё (кроме GPS) работает более-менее.