I had no idea until I checked just now - apparently it's because the Intel ones are default (the ones built into the chipset), the two extra ones are an extra add-on chip that isn't part of the default specifications. Presumably using the Marvel controller is cheaper than using another Intel one.