I have a Maximus VI Formula, a 4770K @4.2GHz and a Samsung 840 Pro SSD. I want to have the lowest possible boot time. I have set MRC Fast boot to enabled, Fast boot to enabled and Hardware fast boot to enabled. Are there any other options to tweak? I...