Ahoj,
pokud mas USB 3.0, pak se divim, ze ti bootovani vubec funguje (ale je rpavda ze do novych bios jdou nacpat pozoruhodne veci). Pokud mas aspon jeden port 2.0, zkus bootovat z neho.
Co se tyce LinuxMintu nebo Ubuntu - byt tebou radsi pouzivam neco jineho. Nevim jak je na tom tedkom LinuxMint ale Ubuntu je dosti velky balast a v budoucnosti pravdepodobne bude aspirovat na titul "balast vsech balastu."
Konkretne Debian je relativne dobry. Rozhodne se mi jeste nestalo abych musel upravovat zdrojaky jadra v stable verzi protoze tam proste a jednoduse maji chybu...