If it is a hardware raid, would the boot sequence offer a raid setup choice before the OS boots?