Supermicro sent me a new pre-release BIOS and that solves the problem.
Microcode version in that BIOS is: 0x02006906
