128-bit dedicated FMAC per core
-OR-
256-bit AVX shared between 2 cores
Like I said. Duplicating all functionality to allow AVX on both halves simultaneously would be a waste of die space and power. IMO, it's better this way.