Not a bug. On those boards if you do not have the dedicated IPMI interface plugged in it piggybacks the second 1g port.I think you can disable that functionality in the BIOS but I have not actually tried in the one I have as I use the dedicated port.