;-) i don't say android is bad, but there are many bad roms out there.. and they don't get updated..
and the roms for any MKXXX is not secure.. Xbmc on raspberry or MKxxx have not been that stable but thats because of XBMC on ARM is only officially a year old now.
remember android is not opensource, they just release some of the code with each release.
I do think RaspBMC the last 3 releases have been rock solid, and the lastest(nov) is got danm fast.. raspberrypi.org have fixed the corupt SD card problem this past 2 weeks.
and nexflix is comming next month to raspbmc...
so back to streaming...i do think raspberry/xmbc is your best bet right now...
i was looking forward to this project pidvbip :
https://github.com/linuxstb/pidvbip
but it seems the development have stopped.