Just 10 Cores visible with KFSN4-DRE with 2 HexCores
I'm trying to get a KFSN4-DRE running with all 12 Cores (2 x Opteron 8425 or 2 x Opteron 2419).
It's either not booting at all (Please see attached serial-log) or coming up with just 10 Cores out of 12.
I'm using libreboot stable (20160907).
Anyone got a 12 Core Setup running with the KFSN4-DRE?