I am on Bios F5a. Never try to use Alt+F1 on other bios. Maybe this additional option can be found alos on Bios F4 series??
It's been like that since the x38 m8.

Gigabyte X38 DQ6

my best understanding:-
X48 & X48T CPU GTLREF

luck