I'm thinking of buying an OC Formula board for use with the i7-4790K processor. Has anyone had good (or bad) experience with this MB? Are the extra software items Windows-only? (I assume so...) In particular, the blurb on the ASRock site (ASRock > Z97 OC Formula) states that the boot is so fast that getting to the UEFI requires using "Reboot to UEFI" to access the UEFI setup. True?