Eh, it's splitting hairs. Is the Pippin a game console? Is the CD-I? Is the OUYA? Is a PS2 still a game console if you boot Linux? Is a Gameboy with the Workboy

Eh, it's splitting hairs. Is the Pippin a game console? Is the CD-I? Is the OUYA? Is a PS2 still a game console if you boot Linux? Is a Gameboy with the Workboy keyboard still a game console? All consoles are at the end of the day general-purpose computers. You're just arbitrarily locked out of using the machine you bought and paid for to run whatever you like.