The "Linux only BIOS" also works for Windows though so you can dual boot with it. The reason why they say it doesn't is because they don't want to spend money on officially supporting it and AHCI gives a slight performance decrease from their default RAID configuration.