There is a possibility to tweak the BIOS to show whatever options we need. There are tools from AMI that we can use. AMI Firmware Update for Aptio V (AFU) that can read and write the BIOS and AMI BIOS Configuration Program (AMIBCP) that can modify the downloaded BIOS . I did not tryed it yet, but shoukd not be a problem, both programs have a windows GUI.