Does anyone know if u-boot supports the SIL3531 PCIE SATA controller?

drivers/block/sata_sil.c explicitly lists SIL3131, SIL3132, and SIL3124. I am not that familiar with the history of the SIL SATA chips and maybe somebody knows if the SIL3531 is backwards compatible to those chips.

Thank you, :rjs