The Thunderbolt discrete menu in BIOS>Advanced>Thunderbolt(TM) Configuration does not appear after upgrading the BIOS to 3801. In BIOS 2002 (in my Rampage 6 Extreme = R6E) there was a menu with Discrete Thunderbolt for Asus Thunderbolt EX 3 card that...