what do think about bios F11? Is it a good bios? [Now I have F9] [I've heard which this bios has some problems...]