Has anyone been successful booting Linux (Ubuntu, Debian, Fedora). I'm running problems and wondering if people have had any success.