Tumbleweed Images auf USB-Stick werden nicht erkannt - Standard BIOS wird verwendet / Wikiartikel veraltet?