@3aa33ca7 I go into BIOS settings all the time. They have really improved its usefulness since the old days of the venerable 80286.