Yeah but you can install a Debian on a RPi Compute Module, that's what I was trying to say (and certainly will do).

Side note, if anyone from NEC is reading: light grey text on white background. My eyes hurt.