VolksPC will run Debian and Android in one ARM-based computer