Binary kernel builds for Android on Raspberry Pi 2 (see linux repository for source)
OtherNOASSERTION