Sure it's based on Android, but it's not an Android device. Google doesn't count it.
You might find his analogy terrible, but it was correct. It's really like RedHat vs CentOS. Both are made from the same sources, but CentOS isn't RedHat Enterprise Linux.
----------
I'm not doubting it was, but I was answering why it shouldn't have been. It should have been counted seperately.
I think it should be an Android device, since it's using a Customized Android OS. No matter what, it's still running Android. It's not based on Android, it's based on Linux. It's using Android, which is based on Linux.