These are PCIe 3.0 devices. Your board only supports PCIe 2.0 so even if it were recognized you wouldn't get the rated speeds.
Hi Dave and thanks for your response. Actually the 2.0 devices do work on the 3.0 mobo, they just run at the 2.0 speed. My question is whether the BIOS will recognize it as a boot device or not.