Thanks for the reply. There's no need to return the board. Actually I think it is a BIOS problem. Considering all the BIOS update problems people have had, I will not go back to an earlier version.
It is just a minor inconvenience, but I mentioned it in hopes it will be fixed in a later revision.
Normally I want to use the same drive when booting. I can plug that one into SATA port 0. If I want to boot from another disk I can hit F10.