RAID on a machine with a single SSD (and no provision to add another)? It'd make far more sense if the BIOS was setup so the RAID option was always disabled.
Edit: it'd be rather amusing and saddening if this whole controversy was caused merely by someone misunderstanding/misreading a perfectly sensible requirement to disable the RAID mode, and instead disabled the other options. Given the level of communication fluency among some programmers, I would not be surprised if this were the case; and the fact that the machine still boots into Windows because it has drivers might've let this slip past QA...
The choice seems to be between AHCI and sorta-NVMe, with the latter enabled in 'RAID' mode.
Sure, real/standards-conforming NVMe would be better -- and wouldn't require driver shenanigans in either Windows or Linux -- but there should be a performance advantage to 'RAID' mode in this case.
Edit: it'd be rather amusing and saddening if this whole controversy was caused merely by someone misunderstanding/misreading a perfectly sensible requirement to disable the RAID mode, and instead disabled the other options. Given the level of communication fluency among some programmers, I would not be surprised if this were the case; and the fact that the machine still boots into Windows because it has drivers might've let this slip past QA...