A dire il vero ho provato a guardare le varie voci del bios ma non ho trovato nulla che potrebbe essere collegato ai tasti CTRL ... però ammetto di non avere molta dimestichezza con il BIOS.
Se per caso riuscissi a controllare se c'è qualche voce da modificare, mi faresti un piacere