OK, that worked. It took me some time to find it. On this BIOS it was hidden rather deeply and under some dire warning about the end of the world or at least of the motherboard.

Thanks, Elias