Has anyone installed and run Debian on a system with either one of these VIA processors, the C3 or the Eden ESP 5000? And did you have any problems? thanks, tm