You are correct. Those HDD's are Advanced Format (4K), and require a newer version of the Intel RST driver to function properly: http://www.intel.com/support/chipsets/imsm/sb/CS-031502.htm
As long as you're using RAID and not AHCI, you can try the latest (11.7.0.1013) from this link:
More AF / 4K info if you want: http://msdn.microsoft.com/en-us/library/windows/desktop/hh848035%28v=vs.85%29.aspx