Look for the chipsets listed above JMB585 is fine, JMB5xx can be a lot of things, including JMB575 which is a port multiplier, a big clue in the controller you mentioned is that there's also a Marvell SATA controller, so that JMB5xx can only be a port multiplier.