If it were me I would probably try creating 2 802.3ad bonds of 4 gigabit ports each to create 2 channels so I could use MPIO on the servers.

On the servers use MPIO. Not sure if MPIO will work with bonded NICs or not at the server. We just have dual gig cards so MPIO is simple.