The extra options should appear in the MIT menu.
But you haven't had to use the Ctrl & F1 method in Gigabyte BIOS's since last year, and since the F1 was released on 14th December, I would assume that this is the case with it too.
Besides, F2 has been out since the start of the year.