Sorry.. the AOne also only scores one point, since it doesn't run OS4
EITHER.
Ok, for you this may not matter much, since you're convinced that it
will, and (perhaps more importantly) because you actually want to run
Debian. But for people who are not very interested in Debian, this
whole discussion is _totally_ pointless until OS4 actually exists and
runs on the AOne. Certainly prices will have changed then - if it
happens.