@Godmyster
Than just return to older BIOS that was faster at loading the OS.

F9 is great BIOS too but I find F12 the best all around.