thanks!
the BIOS actually was "normal" but it crashed (fate!) right before the installation so that the default values were set.
wonder what tweaking is needed to be done...