any update on this, i built my ip35, e2160, corsiar PC6400, corsair HX620 over the weekend and i get these double boot issues as well.
my board is running a BIOS from may and i have not had the chance to update it yet, but some more news would be appreciated.