Perhaps you might want to refine your visual search capabilities first
According to the TX100s2 BIOS manual
page 23, you'll find "SATA Mode Selection" option "AHCI" in "Advanced System Configuration".
But the recognition problem you're facing might as well be caused by a SATA version
incompatibility between the board's controller and the device.