X58a-ud3r rev2 - which bios type to use?