The thunderbolt-icm module should be available, it should show up in modprobe -c and I should be able to enable it.