Hi. Given the plethora of x86 systems out there we do not have such a list unfortunately.
We have various customers using different x86 designs.
Could you maybe check for a BIOS update? Maybe that would allow for AHCI. Also, can you check with the hw vendor and ask them if the hw actually supports ahci mode?