Tak já mám jiný BIOS, tam je F9 bootování.
Nejdříve je třeba nastavit v BIOSU varianty bootování.
Doporučuji zaškrtnout víc variant. je zajímavé, že i když je zaškrtnuto Boot CD/DVD, při bootování se zobrazí s jíným názvem.
Teď si nevzpomínám jakým, ale vyzkoušej všechny varianty, některá se chytne.