Android ought to fall under Linux (Other), but he should still add it. He should also separate GNU/Linux (other) and BSD/Linux categories; see how many people are using BSD userlands like obase and magenta. So,

    GNU/Linux (other)
    BSD/Linux
    Android
    Linux (other userland)