U normálního PC lze restartovat bios zapsáním $10 na port $70 a $FF na port $71. Nevím, ale jestli to u notebooku taky funguje.