synopsis: Accept "linux-androideabi" for determining buildOS
prs: #6301
